LPAR (Conference), Parigot, M., & Voronkov, A. (2000). Logic for programming and automated reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : proceedings. Springer.
Chicago Style (17th ed.) CitationLPAR (Conference), Michel Parigot, and Andrei Voronkov. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Berlin ; New York: Springer, 2000.
MLA (9th ed.) CitationLPAR (Conference), et al. Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6-10, 2000 : Proceedings. Springer, 2000.
Warning: These citations may not always be 100% accurate.