Clausal Form Logic door Tom Richards & Thomas J. Richards