Xia Wu, Jigui Sun, Kun Hou. An Extension Rule Based First-Order Theorem Prover. In Jérôme Lang, Fangzhen Lin, Ju Wang, editors, Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings. Volume 4092 of Lecture Notes in Computer Science, pages 514-524, Springer, 2006. [doi]
@inproceedings{WuSH06:1,
title = {An Extension Rule Based First-Order Theorem Prover},
author = {Xia Wu and Jigui Sun and Kun Hou},
year = {2006},
doi = {10.1007/11811220_43},
url = {http://dx.doi.org/10.1007/11811220_43},
tags = {rule-based, rules},
researchr = {https://researchr.org/publication/WuSH06%3A1},
cites = {0},
citedby = {0},
pages = {514-524},
booktitle = {Knowledge Science, Engineering and Management, First International Conference, KSEM 2006, Guilin, China, August 5-8, 2006, Proceedings},
editor = {Jérôme Lang and Fangzhen Lin and Ju Wang},
volume = {4092},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-37033-1},
}