APA (7th ed.) Citation

Bibel, W., & Schmitt, P. H. (1998). Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Springer Netherlands.

Chicago Style (17th ed.) Citation

Bibel, Wolfgang, and Peter H. Schmitt. Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Dordrecht: Springer Netherlands, 1998.

MLA (9th ed.) Citation

Bibel, Wolfgang, and Peter H. Schmitt. Automated Deduction - A Basis for Applications: Volume II: Systems and Implementation Techniques. Springer Netherlands, 1998.