Kenneth L. McMillan; Aart Middeldorp; Andrei Voronkov
Document Type
Proceedings Paper
Year published
2013
Published
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743
Volume: 8312 LNCS, Pages: 694-709
Conference
19Th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, Lpar 2013, Date: 14 December 2013 through 19 December 2013, Location: Stellenbosch