1. Abecker, A., Boley, H., Hinkelmann, K., Wache, H. & Schmalhofer, F. (November 1995) An environment for exploring and validating declarative knowledge. Tech. Memo TM-95-03. Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, Kaiserslautern. Also in: Proc. Workshop on Logic Programming Environments at ILP'S '95. Portland, Oregon, Dec. 1995.
2. Armstrong, W.W., Liang, J., Lin, D., Reynolds, S. (September 1990) Experiments using Parsimonious Adaptive Logic. Tech. Report TR 90-30, Department of Computing Science, University of Alberta.
3. DeRaedt, L. (1992) Interactive Theory Revision: An Inductive Logic Programming Approach. London: Academic Press.
4. Frawley, Piatetsky-Shapiro & Matheus (Fall 1992) Knowledge discovery in databases. AI Magazine.
5. Hinkelmann, K., Meyer, M. & Schmalhofer, F. (1994) Knowledge-base evolution for product and production planning. AI Communications: The European Journal on Artificial Intelligence, 7, 98–113.