Detecting Redundant Narrowing Derivations by the LSE-SL Reducability Test. - Stefan Krischer; Alexander Bockmayr (RTA, 1991)

An Optimal Narrowing Strategy for General Canonical Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (CTRS, 1992)

Incomplete TRS-Specifications of Boolean Functions and their Verification. - Stefan Krischer (Designing Correct Circuits, 1992)

The Backward Walk Approach in FSM Verification. - Stefan Krischer (CHDL, 1993)

A Concept for the Implementation of LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (WLP, 1993)

Méthodes de vérification de circuits digitaux. (Verification methods for digital circuits). - Stefan Krischer (1994)

Narrowing Strategies for Arbitrary Canonical Rewrite Systems. - Alexander Bockmayr; Stefan Krischer; Andreas Werner 001 (Fundam. Informaticae, 1995)

How to Realize LSE Narrowing. - Andreas Werner 001; Alexander Bockmayr; Stefan Krischer (New Gener. Comput., 1998)