A decision algorithm for stratified context unification (1999)

by Manfred Schmidt-Schauß
Venue:FACHBEREICH INFORMATIK, J.W. GOETHE-UNIVERSITAT
Citations:17 - 1 self