Serge Colin Frédéric Mesnard Antoine Rauzy Un module Prolog de mu-calcul booléen: une réalisation par BDD. 23-38 1999 conf/jfplc/1999 JFPLC db/conf/jfplc/jfplc1999.html#ColinMR99