APA (7th ed.) Citation

Wu, A., & McAllester, D. A. (2007). Automated termination proofs using Walther recursion. Massachusetts Institute of Technology.

Chicago Style (17th ed.) Citation

Wu, Alexander, and David A. McAllester. Automated Termination Proofs Using Walther Recursion. Massachusetts Institute of Technology, 2007.

MLA (8th ed.) Citation

Wu, Alexander, and David A. McAllester. Automated Termination Proofs Using Walther Recursion. Massachusetts Institute of Technology, 2007.

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