%0 Book
%A Chin-Liang Chang, Richard Char-Tung Lee
%T Symbolic Logic and mechanical theorem proving
%U /book/101372955/Symbolic-Logic-and-mechanical-theorem-proving/