On backtracking and greatest fixpoints (1977)

by W P DE ROEVER
Venue:In 4th Colloquium on Automata, Languages and Programming (ICALP), A. Salomaa and M. Steinby, Eds. Lecture Notes in Computer Science