Erschienen in: Stanford University: CSLI lecture notes ; 53

Erschienen in: Workshops in Computing

Erschienen in: The Journal of Logic and Algebraic Programming, 51 (2002) 2, Seite 157-174

Erschienen in: Formal Aspects of Computing, 8 (1996) 6, Seite 648-678

Erschienen in: Information and Computation, 95 (1991) 2, Seite 192-217

Erschienen in: Theoretical Computer Science, 177 (1997) 2, Seite 487-507

Erschienen in: Logical Methods in Computer Science (2021)

Erschienen in: Acta Informatica, 57 (2020) 3-5, Seite 385-402

Erschienen in: Recent Trends in Algebraic Development Techniques (2017), Seite 73-87

Erschienen in: Indagationes Mathematicae, 27 (2016) 3, Seite 727-748

Erschienen in: Lecture Notes in Computer Science (2015), Seite 44-61

Erschienen in: Software, Services, and Systems (2015), Seite 46-61

Erschienen in: Fundamentals of Software Engineering (2012), Seite 15-31

Erschienen in: ACM Transactions on Computational Logic, 12 (2011) 3, Seite 1-36

Erschienen in: Journal of Applied Logic, 5 (2007) 1, Seite 170-192

Erschienen in: Advances in Grid Computing - EGC 2005 (2005), Seite 1097-1106

Erschienen in: The Journal of Logic and Algebraic Programming, 51 (2002) 2, Seite 175-192

Erschienen in: Theoretical Computer Science, 269 (2001) 1-2, Seite 203-229

Erschienen in: Journal of the ACM, 48 (2001) 6, Seite 1207-1241