@inproceedings{DBLP:conf/lpe/AbeckerBHWS95,
author = {Andreas Abecker and
Harold Boley and
Knut Hinkelmann and
Holger Wache and
Franz Schmalhofer},
title = {An Environment for Exploring and Validating Declarative
Knowledge},
booktitle = {LPE},
year = {1995},
bibsource = {DBLP, http://dblp.uni-trier.de}
}