The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog.

Marc-Michel Corsini, Kaninda Musumbu, Antoine Rauzy

Browse the full SAS paper archive.