Un module Prolog de mu-calcul booléen: une réalisation par BDD. - Serge Colin; Frédéric Mesnard; Antoine Rauzy (JFPLC, 1999)