Logic programming and nonmonotonic reasoning : third International Conference, LPNMR '95, Lexington, KY, USA, June 26-28, 1995 : proceedings - Marek, V. W.; Nerode, Anil, 1932-; Truszczyński, Mirosław, 1955- (Lecture notes in computer science, 1995)