Methods of Proof Chapter 7, Part II. Proof methods Proof methods divide into (roughly) two kinds: Application of inference rules: Legitimate (sound) generation.
Methods of Proof Chapter 7, second half.
Methods of Proof
Horn clauses
