Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings - Sutcliffe, Geoff; Voronkov, Andrei (Springer Berlin Heidelberg, 2005)