APA (7th ed.) Citation

Niederhauser, J., & Middeldorp, A. (2025). The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version).

Chicago Style (17th ed.) Citation

Niederhauser, Johannes, and Aart Middeldorp. The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version). 2025.

MLA (9th ed.) Citation

Niederhauser, Johannes, and Aart Middeldorp. The Computability Path Order for Beta-Eta-Normal Higher-Order Rewriting (Full Version). 2025.

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