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. Vol.1990, page885890