@inproceedings{efb8ec7e2bbd4304a499b3476fda77ad,
title = "Logic for Programming, Artificial Intelligence, and Reasoning, 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings",
author = "Robert Nieuwenhuis and Andrei Voronkov",
year = "2001",
language = "English",
isbn = "3-540-42957-3",
volume = "2250",
series = "Lecture Notes in Computer Science",
publisher = "Springer Nature",
booktitle = "Lecture Notes in Computer Science",
address = "United States",
note = "LPAR ; Conference date: 01-01-1824",
url = "http://dblp.uni-trier.de/db/conf/lpar/lpar2006.htmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lpar/2006",
}