Conditioned Circumscription: Translating Defaults to Circumscription. - Gaby Merziger; Mathias Bauer (GWAI, 1990)

Integrated Plan Generation and Recognition - A Logic-Based Approach. - Mathias Bauer; Susanne Biundo; Dietmar Dengler; Matthias Hecking; Jana Koehler; Gaby Merziger (Wissensbasierte Systeme, 1991)