Unification and Matching modulo Nilpotence (1996)

Cached

Download Links

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