The Decidability of Equivalence for a Family of Linear Grammars Amiram Yehudai 122-136 Information and Control November 1980 47 2 db/journals/iandc/iandc47.html#Yehudai80