"Formalizing Monotone Algebras for Certification of Termination and ..."

Christian Sternagel, René Thiemann (2014)
a service of Schloss Dagstuhl - Leibniz Center for Informatics