@inproceedings{CIKM-2007-PragerLC,
	author        = "John M. Prager and Sarah Luger and Jennifer Chu-Carroll",
	booktitle     = "{Proceedings of the 16th ACM International Conference on Information and Knowledge Management}",
	doi           = "10.1145/1321440.1321538",
	isbn          = "978-1-59593-803-9",
	pages         = "701--710",
	publisher     = "{ACM}",
	title         = "{Type nanotheories: a framework for term comparison}",
	year          = 2007,
}