Some properties of the roots of theories in propositional logic systems

Jiancheng Zhang. Some properties of the roots of theories in propositional logic systems. Computers & Mathematics with Applications, 55(9):2086-2093, 2008. [doi]

Abstract

Abstract is missing.