in Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 4790, Pages: 469-483
Conference
14Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lpar 2007, Date: 15 October 2007 through 19 October 2007, Location: Yerevan
