Style de citation APA (7e éd.)
Robert Nieuwenhuis, A. V. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Springer.
Style de citation Chicago (17e éd.)
Robert Nieuwenhuis, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Berlín, Alemania: Springer.
Style de citation MLA (9e éd.)
Robert Nieuwenhuis, Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Springer.
Attention : ces citations peuvent ne pas être correctes à 100%.