Unification and Matching modulo Nilpotence (1996)

by Qing Guo, Paliath Narendran
Venue:In Proc. CADE-13, volume 1104 of LNCS