APA (7th ed.) Citation

Meyer, A. R., & Mitchell, J. C. (2023). Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability.

Chicago Style (17th ed.) Citation

Meyer, Albert R., and John C. Mitchell. Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. 2023.

MLA (9th ed.) Citation

Meyer, Albert R., and John C. Mitchell. Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability. 2023.

Warning: These citations may not always be 100% accurate.