Models for Logics and Conditional Constraints in Automated Proofs of Termination | Publicación