On semantic resolution with lemmaizing and contraction
Journal
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Journal Volume
1114
Pages
372-386
Date Issued
1996
Author(s)
Bonacina, M.P.
SDGs
Type
conference paper