項潔Dershowitz, N.N.DershowitzHsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051983http://ntur.lib.ntu.edu.tw//handle/246246/118713en-USRewrite Methods for Clausal and Nonclausal Theorem Provingconference paper