Logic for Programming, Artificial Intelligence, and Reasoning
Ken McMillan, Aart Middeldorp, and Andrei Voronkov (eds.)Proceedings of the 19th International Conference, Stellenbosch, South Africa, Lecture Notes in Computer Science (Advanced Research in Computing and Software Science) 8312, 2013.
BibTeX
@proceedings{LPAR-19,
editor = "Ken McMillan and Aart Middeldorp and Andrei Voronkov",
title = "Proceedings of the 19th International Conference on Logic
for Programming, Artificial Intelligence, and Reasoning",
series = "Lecture Notes in Computer Science (Advanced Research in
Computing and Software Science)",
volume = 8312,
publisher = "Springer-Verlag",
year = 2013,
doi = "10.1007/978-3-642-45221-5"
}