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)