項潔Rusinowitch, M.M.RusinowitchHsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051987-07http://ntur.lib.ntu.edu.tw//handle/246246/118511en-USA New Method for Establishing Refutational Completeness in Theorem Provingconference paper