A Step Up in Expressiveness of Decidable Fixpoint Logics.

Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Browse the full LICS paper archive.