Petr Kurka Applicability of a Production in a Categorical Grammar. 37-44 1980 10 Theor. Comput. Sci. db/journals/tcs/tcs10.html#Kurka80