On Semantic Resolution with Lemmaizing and Contraction.

Maria Paola Bonacina, Jieh Hsiang

Browse the full PRICAI paper archive.