Published in: Turun yliopisto: Turun Yliopiston julkaisuja / A / 1 ; 192

Published in: Theoretical Computer Science, 41 (1985), Seite 305-318

Published in: CAAP'83 (1983), Seite 392-404

Published in: ACM Transactions on Computational Logic, 22 (2021) 1, Seite 1-24

Published in: Information and Computation, 205 (2007) 6, Seite 817-869

Published in: Fundamenta Informaticae, 112 (2011) 1, Seite 19-37

Published in: Bulletin of the Belgian Mathematical Society - Simon Stevin, 8 (2001) 2

Published in: Bulletin of informatics and cybernetics, 23 (1988) 1/2, Seite 79-88

Published in: Computer Science Logic (2009), Seite 225-239

Published in: Automata, Languages and Programming (1986), Seite 275-283

Published in: Automata, Languages and Programming (1999), Seite 281-290

Published in: Information and Computation, 237 (2014), Seite 12-55

Published in: Programming Languages and Systems (2013), Seite 17-32

Published in: Electronic Notes in Theoretical Computer Science, 149 (2006) 2, Seite 33-49

Published in: Lecture Notes in Computer Science (2002), Seite 153-167

Published in: Lecture Notes in Computer Science (2002), Seite 171-184

Published in: Theoretical Computer Science, 141 (1995) 1-2, Seite 69-107