PrefaceMarkus Holzer and Bianca TrutheRAIRO-Theor. Inf. Appl., 48 1 (2014) 1-2DOI: https://doi.org/10.1051/ita/2014006
