Geoff Sutcliffe Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings 3835 2005 3-540-30553-X LPAR Lecture Notes in Computer Science Springer db/conf/lpar/lpar2005.html