On alternation 2 (1980)

by W J Paul, R Reischuk
Venue:Acta Informatica