Williams, J. G. (1991). Instantiation theory: On the foundations of automated deduction. Springer-Verlag.
Lua i Stíl Chicago (17ú heag.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Berlin ; New York: Springer-Verlag, 1991.
Lua MLA (8ú heag.)Williams, James G. Instantiation Theory: On the Foundations of Automated Deduction. Springer-Verlag, 1991.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.