"Evidence for Fixpoint Logic."

Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics