Bonacina M. P.Hsiang J.2010-12-202018-07-052010-12-202018-07-051994http://ntur.lib.ntu.edu.tw//handle/246246/221011en-USA Category-Theoretic Treatment of Automated Theorem Provingjournal articlehttp://ntur.lib.ntu.edu.tw/bitstream/246246/221011/-1/13.pdf