Unification of stratified second-order terms (1994)

by Manfred Schmidt-Schau
Venue:Internal Report 12/94, Fachbereich Informatik, J.W. Goethe-Universitat