International conference on Logic for Programming and Automated Reasoning :La Havane, Voronkov, A., & Nieuwenhuis, R. Logic for programming, artificial intelligence, and reasoning: 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings. Springer.
Citação do estilo Chicago (17ª ed.)International conference on Logic for Programming and Automated Reasoning :La Havane, Andrei Voronkov, e Robert Nieuwenhuis. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : Proceedings. Berlin [etc.]: Springer.
Citação MLA (8ª ed.)International conference on Logic for Programming and Automated Reasoning :La Havane, et al. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : Proceedings. Springer.