Srivas, M. K.M. K.Srivas項潔Hsiang, JiehJiehHsiang2009-02-032018-07-052009-02-032018-07-051990http://ntur.lib.ntu.edu.tw//handle/246246/118418http://ntur.lib.ntu.edu.tw/bitstream/246246/118418/1/19.pdfen-USAutomatic Inductive Theorem Proving Using Prologjournal article10.1016/0304-3975(87)90016-8http://ntur.lib.ntu.edu.tw/bitstream/246246/118418/1/19.pdf