In: 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016 Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 7:1-7:11. ISSN 1868-8969
In: 33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016 Leibniz International Proceedings in Informatics, LIPIcs (47) Schloss Dagstuhl Leibniz-Zentrum für Informatik, Dagstuhl, pp. 28:1-28:13. ISSN 1868-8969