Jiancheng Zhang. Some properties of the roots of theories in propositional logic systems. Computers & Mathematics with Applications, 55(9):2086-2093, 2008. [doi]
@article{Zhang08a-5,
title = {Some properties of the roots of theories in propositional logic systems},
author = {Jiancheng Zhang},
year = {2008},
doi = {10.1016/j.camwa.2007.08.035},
url = {http://dx.doi.org/10.1016/j.camwa.2007.08.035},
tags = {logic},
researchr = {https://researchr.org/publication/Zhang08a-5},
cites = {0},
citedby = {0},
journal = {Computers & Mathematics with Applications},
volume = {55},
number = {9},
pages = {2086-2093},
}