Models for Logics and Conditional Constraints in Automated Proofs of Termination.

Salvador Lucas, Jos Meseguer

Browse the full AISC paper archive.