Semantics for Positive/Negative Conditional Rewrite Systems. - Klaus Becker 002 (CTRS, 1992)

Proving Ground Confluence and Inductive Validity in Constructor Based Equational Specifications. - Klaus Becker 002 (TAPSOFT, 1993)

Rewrite operationalization of clausal specifications with predefined structures. - Klaus Becker 002 (1994)

Abstract Notions and Inference Systems for Proofs by Mathematical Induction. - Claus-Peter Wirth; Klaus Becker 002 (CTRS, 1994)

Operational Specifications with Built-Ins. - Jürgen Avenhaus; Klaus Becker 002 (STACS, 1994)

A Framework for Operational Equational Specifications with Pre-defined Structures. - Jürgen Avenhaus; Klaus Becker 002 (J. Symb. Comput., 1999)