Willem P. de Roever. On Backtracking and Greatest Fixpoints. In Arto Salomaa, Magnus Steinby, editors, Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings. Volume 52 of Lecture Notes in Computer Science, pages 412-429, Springer, 1977.
No references recorded for this publication.
No citations of this publication recorded.