Logic For Computer Science: Foundations Of Automatic Theorem Proving - Gallier, Jean H (John Wiley & Sons, 1987)