Стиль цитування APA (7-ме видання)
Matthias Baaz, A. V. Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings. Springer.
Чикаго стиль цитування (17-те видання)
Matthias Baaz, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Matthias Baaz, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.