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, S.885890