Relative termination. Dissertation, Fakultät für Mathematik und Informatik, Universität (1990)

by A Geser