FO-model checking of superlinear transductions with origin MSO interpretations, SSTs, pebbles transducers
webpage CANA team, LIS.
Consistence Faible Byzantine Pour le Cloud