APA-Zitierstil (7. Ausg.)

Hetzl, S., & Wong, T. L. (2017). Some observations on the logical foundations of inductive theorem proving. Logical methods in computer science, 13, Issue 4(Automated deduction), . https://doi.org/10.23638/LMCS-13(4:10)2017

Chicago-Zitierstil (17. Ausg.)

Hetzl, Stefan, und Tin Lok Wong. "Some Observations on the Logical Foundations of Inductive Theorem Proving." Logical Methods in Computer Science 13, Issue 4, no. Automated deduction (2017). https://doi.org/10.23638/LMCS-13(4:10)2017.

MLA-Zitierstil (9. Ausg.)

Hetzl, Stefan, und Tin Lok Wong. "Some Observations on the Logical Foundations of Inductive Theorem Proving." Logical Methods in Computer Science, vol. 13, Issue 4, no. Automated deduction, 2017, https://doi.org/10.23638/LMCS-13(4:10)2017.