APA (7th ed.) Citation

LPAR Havana, Cuba, SpringerLink (Online service), Nieuwenhuis, R., & Voronkov, A. (2001). Logic for programming, artificial intelligence, and reasoning: 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; proceedings. Springer.

Chicago Style (17th ed.) Citation

LPAR Havana, Cuba, SpringerLink (Online service), Robert Nieuwenhuis, and Andrei Voronkov. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; Proceedings. Berlin: Springer, 2001.

MLA (9th ed.) Citation

LPAR Havana, Cuba, et al. Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 ; Proceedings. Springer, 2001.