APA (7th ed.) Citation

Williams, J. G. (1991). Instantiation theory: On the foundations of automated deduction. Springer-Verlag.

Chicago Style (17th ed.) Citation

Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Berlin ; New York: Springer-Verlag, 1991.

MLA (8th ed.) Citation

Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Springer-Verlag, 1991.

Warning: These citations may not always be 100% accurate.