On Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Caching

Bonacina M. P.Hsiang J.2010-12-202018-07-052010-12-202018-07-051998http://ntur.lib.ntu.edu.tw//handle/246246/220992en-USOn Semantic Resolution with Lemmaizing and Contraction and a Formal Treatment of Cachingjournal articlehttp://ntur.lib.ntu.edu.tw/bitstream/246246/220992/-1/06.pdf