Logic programming and nonmonotonic reasoning third international conference, LPNMR '95, Lexington, KY, USA, June 24-28, 1995 : proceedings / - Marek, Wiktor.; Nerode, Anil,; Truszczyński, Mirosław. (Springer,)