Baader, F., & Giesl, J. (2024). Small Term Reachability and Related Problems for Terminating Term Rewriting Systems.
Chicago Style (17th ed.) CitationBaader, Franz, and Jürgen Giesl. Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2024.
MLA (9th ed.) CitationBaader, Franz, and Jürgen Giesl. Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2024.
Warning: These citations may not always be 100% accurate.