DMCA

Unification and Matching modulo Nilpotence (1996)

Cached

Download Links

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