An Environment for Exploring and Validating Declarative Knowledge.

Andreas Abecker Harold Boley Knut Hinkelmann Holger Wache Franz Schmalhofer An Environment for Exploring and Validating Declarative Knowledge. 1995 LPE db/conf/lpe/lpe95.html#AbeckerBHWS95