Proof Transformation with Built-in Equality Predicate. - Christoph Lingenfelder; Axel Präcklein (IJCAI, 1991)

Reduction Rules for Resolution-Based Systems. - Norbert Eisinger; Hans Jürgen Ohlbach; Axel Präcklein (Artif. Intell., 1991)

Integration of rewriting, narrowing, compilation, and heuristics for equality reasoning in resolution-based theorem proving. - Axel Präcklein (1992)

Reformulating Resolution Problems by Tactics. - Manfred Kerber; Axel Präcklein (WOCFAI, 1995)

Using Tactics to Reformulate Formulae for Resolution Theorem Proving. - Manfred Kerber; Axel Präcklein (Ann. Math. Artif. Intell., 1996)