Published in: Lecture notes in computer science ; 10712

Published in: Journal of Automated Reasoning, 40 (2008) 2-3, Seite 179-194

Published in: Lecture Notes in Computer Science (2006), Seite 112-124

Published in: Electronic Proceedings in Theoretical Computer Science, 338 (2021)

Published in: Electronic Proceedings in Theoretical Computer Science, 186 (2015)

Published in: Lecture Notes in Computer Science (2011), Seite 87-102

Published in: Lecture Notes in Computer Science (2020), Seite 122-142

Published in: Lecture Notes in Computer Science (2013), Seite 414-420

Published in: Lecture Notes in Computer Science (2013), Seite 125-128

Published in: Proceedings of the ACM on Programming Languages, 4 (2020) POPL, Seite 1-26

Published in: International Journal of Mathematical Sciences and Computing, 4 (2018) 2, Seite 1-11

Published in: Lecture Notes in Computer Science (2016), Seite 94-109

Published in: Formal Methods in System Design, 48 (2016) 3, Seite 152-174

Published in: Lecture Notes in Computer Science (2014), Seite 1-16

Published in: Lecture Notes in Computer Science (2007), Seite 398-403

Published in: Journal of Automated Reasoning, 56 (2016) 4, Seite 387-457

Published in: International Journal on Software Tools for Technology Transfer, 17 (2015) 6, Seite 709-727

Published in: Lecture Notes in Computer Science (2014), Seite 37-51

Published in: Lecture Notes in Computer Science (2020), Seite 55-72