Published in: 26th EACSL Annual Conference on Computer Science Logic (CSL 2017) ; Leibniz international proceedings in informatics : LIPIcs ; 82

Published in: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

Published in: Leibniz International Proceedings in Informatics, LIPIcs 41 (2015)

Published in: Studia Logica: An International Journal for Symbolic Logic, 101 (2013) 2, Seite 343-366

Published in: Journal of Logic, Language and Information, 22 (2013) 3, Seite 269-295

Published in: Computer Science Logic (2010), Seite 411-425

Published in: Journal of Logic and Computation, 19 (2009) 6, Seite 1157-1173

Published in: Logic, Language, and Computation (2013), Seite 231-256

Published in: Logic, Language, Information, and Computation (2013), Seite 126-137

Published in: SOFSEM 2012: Theory and Practice of Computer Science (2012), Seite 226-237

Published in: Logic, Language, Information, and Computation (2013), Seite 238-250