"The Strong Equivalence of ETOL Grammars."

Gabriel Istrate (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics