Sortal Equivalence of Bare Grammars
2010 ◽
pp. 88-102