References

[Fit96]

Melvin C. Fitting. First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer Verlag, second edition, 1996.