Baader, F., & Giesl, J. (2024). Small Term Reachability and Related Problems for Terminating Term Rewriting Systems.
Cita Chicago Style (17a ed.)Baader, Franz, y Jürgen Giesl. Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2024.
Cita MLA (9a ed.)Baader, Franz, y Jürgen Giesl. Small Term Reachability and Related Problems for Terminating Term Rewriting Systems. 2024.
Precaución: Estas citas no son 100% exactas.