Sutcliffe G. Logic for Programming, Artificial Intelligence, and Reasoning (vol. # 3835) 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings / edited by Geoff Sutcliffe, Andrei Voronkov. // Springer e-books. URL: http://dx.doi.org/10.1007/11591191