N. Creignou, M. Kröll, R. Pichler, S. Skritek, and H. Vollmer. Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Ume\aa, Sweden, March 6-9, 2017, Proceedings, volume 10168 of Lecture Notes in Computer Science, page 183--195. (2017)
H. Vollmer, and B. Vall\\ée. 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), volume 66 of Leibniz International Proceedings in Informatics (LIPIcs), page 0:i--0:xvi. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2017)
L. Hella, A. Kuusisto, A. Meier, and H. Vollmer. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, page 281--292. (2015)
M. Hannula, J. Kontinen, J. Virtema, and H. Vollmer. Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I, page 269--280. (2015)
N. Creignou, R. Ktari, A. Meier, J. Müller, F. Olive, and H. Vollmer. Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings, page 524--536. (2015)
J. Kontinen, J. Müller, H. Schnoor, and H. Vollmer. 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, page 277--291. (2015)