Williams, J. G. (1991). Instantiation theory: On the foundations of automated deduction. Springer-Verlag.
Chicago-Zitierstil (17. Ausg.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Berlin ; New York: Springer-Verlag, 1991.
MLA-Zitierstil (8. Ausg.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Springer-Verlag, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.