In: Proceedings of the ILPS'95 Workshop "Visions for the Future of Logic Programming - Laying the Foundations for a Modern Successor to Prolog". International Logic Programming Symposium (ILPS-95), December 8, Portland, USA, 1995.
Franz Baader; Martin Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)