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