%0 Book
%A Richards, Tom.
%T Clausal form logic : an introduction to the logic of computer reasoning
%U /book/99744066/Clausal-form-logic-an-introduction-to-the-logic/