"Maslov's Inverse Method and Decidable Classes."

N. K. Zamov (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics