Unification and Matching Modulo Nilpotence.

Qing Guo, Paliath Narendran, David A. Wolfram

Browse the full CADE paper archive.