Unification of stratified second-order terms". Technical Report, Fachbereich Informatik, Johann Wolfgang-Goethe-Universitat Frankfurt (1996)

by M Schmidt-Schau