@INPROCEEDINGS{MPB-JH:PRICAI1996:semrlc,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "On semantic resolution with lemmaizing and contraction",
BOOKTITLE = "Proceedings of the 4th Pacific Rim International Conference on Artificial Intelligence (PRICAI)",
EDITOR = "Norman Foo and Randy Goebel",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 1114,
PAGES = "372--386",
PUBLISHER = "Springer",
MONTH = "August",
DOI = "10.1007/3-540-61532-6_32",
YEAR = 1996}