Jinzhao Wu, Zhuojun Liu. Linear Strategy for Boolean Ring Based Theorem Proving. J. Comput. Sci. Technol., 15(3):271-279, 2000. [doi]
@article{WuL00:1,
title = {Linear Strategy for Boolean Ring Based Theorem Proving},
author = {Jinzhao Wu and Zhuojun Liu},
year = {2000},
url = {http://jcst.ict.ac.cn/cone/cone03.html#paper7},
tags = {rule-based},
researchr = {https://researchr.org/publication/WuL00%3A1},
cites = {0},
citedby = {0},
journal = {J. Comput. Sci. Technol.},
volume = {15},
number = {3},
pages = {271-279},
}