APA引文

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引文

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

警告：這些引文格式不一定是100％准確.