Qing Guo Paliath Narendran David A. Wolfram Complexity of Nilpotent Unification and Matching Problems. 3-23 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#GuoNW00