in LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING (LPAR-18) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 7180, Pages: 212-227 (16)
Conference
18Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (Lpar), Date: MAR 11-15, 2012, Location: Merida, VENEZUELA
