Böttcher, Stefan: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence / An inference engine for function free logic programs. In: Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence. Jg.1990. 2009, S. 885-890