Modular decomposition of automata. - Anne Brüggemann-Klein; Lutz Priese; Dieter Rödding; Rüdiger Schätz (Logic and Machines, 1983)

Delete Operations and Horn Formulas. - Rüdiger Schätz (CSL, 1988)

Formalizing falsification: Three delete operations. - Rüdiger Schätz (Math. Log. Q., 1990)

Formale Aspekte der Falsifikation: drei Updateoperationen. - Rüdiger Schätz (1990)