Marc-Michel Corsini Kaninda Musumbu Antoine Rauzy The Mu-Calculus over Finite Domains as an Abstract Semantics of Prolog. 51-59 1992 WSA db/conf/sas/wsa92.html#CorsiniMR92