Type nanotheories: a framework for term comparison.

@inproceedings{prager-2007-type, author = {John M. Prager and Sarah Luger and Jennifer Chu-Carroll}, editor = {M\'{a}rio J. Silva and Alberto H. F. Laender and Ricardo Baeza-Yates and Deborah L. McGuinness and Bj{\o}rn Olstad and {\O}ystein Haug Olsen and Andr\'{e} O. Falc\~{a}o}, title = {{Type nanotheories: a framework for term comparison}}, booktitle = {{Proceedings of the Sixteenth ACM Conference on Information and Knowledge Management, CIKM 2007, Lisbon, Portugal, November 6-10, 2007}}, pages = {701--710}, publisher = {ACM}, year = {2007}, url = {https://doi.org/10.1145/1321440.1321538}, doi = {https://doi.org/10.1145/1321440.1321538} }