A decision algorithm for stratified context unification (0)

by Manfred Schmidt-Schauß
Venue:J. Log. Comput