Vollständige Resolutionskalküle für PROLOG. - Karl Stroetmann 001 (1991)

A Completeness Result for SLDNF-Resolution. - Karl Stroetmann 001 (J. Log. Program., 1993)

Seduct - A Proof Compiler for First Order Logic. - Karl Stroetmann 001 (KORSO Book, 1995)

A Declarative Semantics for the Prolog Cut Operator. - Karl Stroetmann 001; Thomas Glaß (ELP, 1996)

Automated Modular Termination Proofs for Real Prolog Programs. - Martin Müller 002; Thomas Glaß; Karl Stroetmann 001 (SAS, 1996)

PAN - The Prolog Analyzer. - Martin Müller 002; Thomas Glaß; Karl Stroetmann 001 (SAS, 1996)

The Constrained Shortest Path Problem: A Case Study in Using ASMs. - Karl Stroetmann 001 (J. Univers. Comput. Sci., 1997)

Combining Inclusion Polymorphism and Parametric Polymorphism - Sabine Glesner; Karl Stroetmann 001 (CoRR, 1999)