Logic Programming and Nonmonotonic Reasoning Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings Marek, V. Wiktor Heftet / 1995 / Engelsk
