"Producing All Ideals of a Forest, Formally (Verification Pearl)."

Jean-Christophe Filliâtre, Mário Pereira (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics