APA (7th ed.) Citation

Kassing, J., Vartanyan, G., & Giesl, J. (2024). A Dependency Pair Framework for Relative Termination of Term Rewriting.

Chicago Style (17th ed.) Citation

Kassing, Jan-Christoph, Grigory Vartanyan, and Jürgen Giesl. A Dependency Pair Framework for Relative Termination of Term Rewriting. 2024.

MLA (9th ed.) Citation

Kassing, Jan-Christoph, et al. A Dependency Pair Framework for Relative Termination of Term Rewriting. 2024.