Παραπομπή σε μορφή APA (7η εκδ.)
Michel Parigot, A. V. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)
Michel Parigot, Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings. Berlín, Alemania: Springer.
Παραπομπή σε μορφή MLA (9th εκδ.)
Michel Parigot, Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings. Springer.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.