Title: Logic Programming and Nonmonotonic Reasoning
Subtitle: Third International Conference, Lpnmr '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings (Lecture Notes in Computer Science)