Sutcliffe, G., & Voronkov, A. (. (2005). Logic for programming, artificial intelligence, and reasoning: Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings. Berlin ; New York: Springer.
Chicago stil citiranjaSutcliffe, Geoff, and A. (Andreĭ) Voronkov. Logic for programming, artificial intelligence, and reasoning: Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings. Berlin ; New York: Springer, 2005.
MLA stil citiranjaSutcliffe, Geoff, and A. (Andreĭ) Voronkov. Logic for programming, artificial intelligence, and reasoning: Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings. Berlin ; New York: Springer, 2005.