@inproceedings{CIKM-1995-Tammet,
	author        = "Tanel Tammet",
	booktitle     = "{Proceedings of the Fourth International Conference on Information and Knowledge Management}",
	cdrom         = "CIKM1995/P326.pdf",
	doi           = "10.1145/221270.221605",
	isbn          = "0-89791-812-6",
	pages         = "326--332",
	publisher     = "{ACM}",
	title         = "{Using Resolution for Extending KL-ONE-type Languages}",
	year          = 1995,
}