APA (7th ed.) Citation

LPAR (Conference), SpringerLink (Online service), Dershowitz, N., & Voronkov, A. (2007). Logic for programming, artificial intelligence, and reasoning: 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings. Springer. https://doi.org/10.1007/978-3-540-75560-9

Chicago Style (17th ed.) Citation

LPAR (Conference), SpringerLink (Online service), Nachum Dershowitz, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings. Berlin ; New York: Springer, 2007. https://doi.org/10.1007/978-3-540-75560-9.

MLA (9th ed.) Citation

LPAR (Conference), et al. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : Proceedings. Springer, 2007. https://doi.org/10.1007/978-3-540-75560-9.