Baader, F., & Voronkov, A. (2005). Logic for programming, artificial intelligence, and reasoning (vol. # 3452): 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Springer.
Cita Chicago Style (17a ed.)Baader, Franz, y Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452): 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Berlin Heidelberg: Springer, 2005.
Cita MLA (8a ed.)Baader, Franz, y Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3452): 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Springer, 2005.
Precaución: Estas citas no son 100% exactas.