Böttcher, Stefan: Development and programming of deductive databases with PROTOS-L. . In: How knowledge engineering methods can be applied to software engineering, and how software engineering methods can be applied to knowledge engineering. Jg.1990, S.171176