Proving Operational Termination of Declarative Programs in General Logics.

Salvador Lucas, Jos Meseguer

Browse the full PPDP paper archive.