Type nanotheories: A framework for term comparisonJohn M. PragerSarah Lugeret al.2007CIKM 2007Conference paper