APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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