Hsiang J.Jouannaud Jean-Pierre2010-12-202018-07-052010-12-202018-07-051990http://ntur.lib.ntu.edu.tw//handle/246246/221046en-USTutorial on Rewrite-Based Theorem Provingconference paper