Salvador Lucas, José Meseguer. Proving Operational Termination of Declarative Programs in General Logics. In Olaf Chitil, Andy King, Olivier Danvy, editors, Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014. pages 111-122, ACM, 2014. [doi]
Abstract is missing.