Author: Tanel Tammet

Tammet, Tanel (1995): Using Resolution for Extending KL-ONE-type Languages. In: CIKM 95 - Proceedings of the 1995 International Conference on Information and Knowledge Management November 28 - December 2, 1995, Baltimore, Maryland, USA. pp. 326-332. https://doi.acm.org/10.1145/221270.221605