Clausal form logic an introduction to the logic of computer reasoning - Richards, Tom (Addison-Wesley, 1989)