APA-Zitierstil (7. Ausg.)

Knoblock, T. B., & Constable, R. L. (1986). Formalized metareasoning in type theory.

Chicago-Zitierstil (17. Ausg.)

Knoblock, Todd B., und Robert Lee Constable. Formalized Metareasoning in Type Theory. Ithaca, New York, 1986.

MLA-Zitierstil (9. Ausg.)

Knoblock, Todd B., und Robert Lee Constable. Formalized Metareasoning in Type Theory. 1986.