A Proof Procedure for Extended Logic Programs. - Frank Teusink (ILPS, 1993)

A characterization of stable models using a non-monotonic operator. - Frank Teusink (Methods Log. Comput. Sci., 1994)

Proving Termination of Logic Programs with Delay Declarations. - Elena Marchiori; Frank Teusink (ILPS, 1995)

A Compositional Semantics for Normal Open Programs. - Sandro Etalle; Frank Teusink (JICSLP, 1996)

Three-Valued Completion for Abductive Logic Programs. - Frank Teusink (Theor. Comput. Sci., 1996)

Termination of Logic Programs with Delay Declarations. - Elena Marchiori; Frank Teusink (J. Log. Program., 1999)