Böttcher, Stefan: Integrating a deductive database system with a Warren Abstract Machine. . In: Proceedings of the International Symposium "Computational Intelligence 90". Jg.1991, S.1924