Johnson M. Hart Ambiguity and Decision Problems for Local Adjunct Languages. 8-21 1974 8 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss8.html#Hart74