@workingPaper{AbeckerBoleyHinkelmannWacheSchmalhofer_1995,
title={An environment for exploring and validating declarative knowledge},
author={Abecker, Andreas and Boley, Harold and Hinkelmann, Knut and Wache, Holger and Schmalhofer, Franz},
doi={http://dx.doi.org/10.22028/D291-25057},
year={1995}
}