Cita APA (7a ed.)
Ken McMillan, A. M. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Ken McMillan, Aart Middeldorp. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Ken McMillan, Aart Middeldorp. Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.