doi dblp Using Resolution for Extending KL-ONE-type Languages Tanel Tammet CIKM '95, Proceedings of the 1995 International Conference on Information and Knowledge Management, November 28 - December 2, 1995, Baltimore, Maryland, USA