APA (7e ed.) Bronvermelding

SpringerLink (Online service), Voronkov, A., & Dershowitz, N. (2007). Logic for programming, artificial intelligence, and reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings. Springer-Verlag Berlin Heidelberg.

Chicago (17e ed.) Bronvermelding

SpringerLink (Online service), Andrei Voronkov, en Nachum Dershowitz. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings. Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2007.

MLA (8e ed.) Bronvermelding

SpringerLink (Online service), et al. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings. Springer-Verlag Berlin Heidelberg, 2007.