Special issue dedicated to the thirteenth "Journées Montoises d'Informatique Théorique"Fabien Durand and Gwénaël RichommeRAIRO-Theor. Inf. Appl., 46 1 (2012) 1DOI: https://doi.org/10.1051/ita/2012004
