Characterizing Definability in Decidable Fixpoint Logics.

Michael Benedikt, Pierre Bourhis, Michael Vanden Boom

Browse the full ICALP paper archive.