McMillan, K., Middeldorp, A., & Voronkov, A. Logic for programming, artificial intelligence, and reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : proceedings. Springer Berlin Heidelberg.
Citazione stile Chigago Style (17a edizione)McMillan, Ken, Aart Middeldorp, e Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg.
Citatione MLA (8a ed.)McMillan, Ken, et al. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013 : Proceedings. Springer Berlin Heidelberg.