in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8312, Pages: 198-212
Conference
19Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lpar 2013, Date: 14 December 2013 through 19 December 2013, Location: Stellenbosch