Williams, J. G. (1991). Instantiation theory: On the foundations of automated deduction. Springer-Verlag.
Chicago-referens (17:e uppl.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Berlin ; New York: Springer-Verlag, 1991.
MLA-referens (8:e uppl.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Springer-Verlag, 1991.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.