Clausal form logic an introduction to the logic of computer reasoning - Richards, Tom (International computer science series, 1989)