E-Unification for subsystems of S4 (1998)

by Renate A Schmidt
Venue:In Rewriting Techniques and Applications