@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}