Cita APA (7a ed.)
Christian G. Fermüller, A. V. Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings. Springer.
Cita estilo Chicago (17a ed.)
Christian G. Fermüller, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Christian G. Fermüller, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings. Springer.
Precaución: Estas citas no son 100% exactas.