Parigot, M., & Voronkov, A. Logic for programming and automated reasoning: 7th international conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings. Springer.
Citazione stile Chigago Style (17a edizione)Parigot, Michel, e Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Berlin [etc.]: Springer.
Citatione MLA (8a ed.)Parigot, Michel, e Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.