BibTeX Entry

@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"
}