Clausal Form Logic by Tom Richards & Thomas J. Richards