An Environment for Exploring and Validating Declarative Knowledge (1995)

by A Abecker, H Boley, K Hinkelmann, H Wache, F Schmalhofer
Venue:In: Proc. Workshop on Logic Programming Environments at ILPS'95