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 Berlin Heidelberg.
Παραπομπή σε μορφή Chicago (17η εκδ.)SpringerLink (Online service), Nachum Dershowitz, και Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007.
Παραπομπή σε μορφή MLA (8th εκδ.)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 Berlin Heidelberg, 2007.
