(2000). Logic for programming and automated reasoning: 7th international conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; proceedings. Springer.
Chicago-Zitierstil (17. Ausg.)Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; Proceedings. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000.
MLA-Zitierstil (9. Ausg.)Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000, Reunion Island, France, November 6 - 10, 2000 ; Proceedings. Springer, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.