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