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