Published in: Vieweg-Lehrbuch Informatik

Published in: Artificial Intelligence and Symbolic Mathematical Computation (1996), Seite 160-175

Published in: Theoretical Computer Science, 159 (1996) 2, Seite 143-190

Published in: Automated Deduction — CADE-12 (1994), Seite 693-707

Published in: Conditional and Typed Rewriting Systems (1995), Seite 71-88

Published in: Integrating Symbolic Mathematical Computation and Artificial Intelligence (1995), Seite 209-223

Published in: Automata, Languages and Programming (1992), Seite 380-391

Published in: Rewriting Techniques and Applications (1993), Seite 446-450

Published in: Algebraic and Logic Programming (1990), Seite 332-346

Published in: Rewriting Techniques and Applications (1991), Seite 386-397

Published in: Algebraic Methodology and Software Technology (1996), Seite 633-636

Published in: Recent Trends in Data Type Specification (1996), Seite 125-142

Published in: Rewriting Techniques and Applications (1989), Seite 59-75

Published in: Design and Implementation of Symbolic Computation Systems (1996), Seite 183-194

Published in: Rewriting Techniques and Applications (1996), Seite 412-415

Published in: Journal of Symbolic Computation, 21 (1996) 4-6, Seite 475-505

Published in: Rewriting Techniques and Applications (1995), Seite 408-413