Bachmair, L.L.Bachmair項潔2011-02-162018-07-052011-02-162018-07-051991-01http://ntur.lib.ntu.edu.tw//handle/246246/231054en-USRewrite Techniques in Theorem Provingbook