Clausal form logic an introduction to the logic of computer reasoning - Richards, Tom (Sydney Addison-Wesley, 1989)
Keywords: Expert systems (Computer science).; Artificial intelligence; Logic, Symbolic and mathematical; Reasoning