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