TY  - BOOK
AU  - Voronkov,  A.
AU  -  Sutcliffe,  Geoff.
TI  - Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 
U1  - QA76.63 .L735 2005eb 
ER  -