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. 2009, page 885-890