An Environment for Exploring and Validating Declarative Knowledge - Abecker, A; Boley, H; Hinkeimann, K; Wache, H; Schmalhofer, F (Proceedings of the Workshop on Logic Programming Environments at ILPS'95, 1995)
In: