Leo Bachmair Harald Ganzinger Christopher Lynch Wayne Snyder 172-192 Inf. Comput. September 1995 121 2 db/journals/iandc/iandc121.html#BachmairGLS95