APA (7th ed.) Citation

LPAR (Conference), SpringerLink (Online service), Cervesato, I., Veith, H., & Voronkov, A. (2008). Logic for programming, artificial intelligence, and reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, proceedings. Springer-Verlag. https://doi.org/10.1007/978-3-540-89439-1

Chicago Style (17th ed.) Citation

LPAR (Conference), SpringerLink (Online service), Iliano Cervesato, Helmut Veith, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings. Berlin: Springer-Verlag, 2008. https://doi.org/10.1007/978-3-540-89439-1.

MLA (9th ed.) Citation

LPAR (Conference), et al. Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings. Springer-Verlag, 2008. https://doi.org/10.1007/978-3-540-89439-1.