On semantic resolution with lemmaizing and contraction and a formal treatment of caching

Bonacina, M.P.M.P.BonacinaJIEH HSIANG2020-05-042020-05-041998https://scholars.lib.ntu.edu.tw/handle/123456789/488669On semantic resolution with lemmaizing and contraction and a formal treatment of cachingjournal article10.1007/BF03037315https://www.scopus.com/inward/record.uri?eid=2-s2.0-0031650561&doi=10.1007%2fBF03037315&partnerID=40&md5=64d315d727de40b1fce3f6038b07c1f7