Logic for programming, artificial intelligence, and reasoning : 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005 : proceedings - Sutcliffe, Geoff; Voronkov, A. (Andreĭ), 1959- (Springer, 2005)