An Environment for Exploring and Validating Declarative Knowledge. - Abecker, Andreas; Boley, Harold; Hinkelmann, Knut; Wache, Holger; Schmalhofer, Franz (1995)