HDS-19: Doets, Kees (2016) Completeness and Definability. Doctoral thesis, University of Amsterdam.
PP-2000-05: Doets, Kees (2000) Short Proof(s) for Classical Theorems. [Report]
ML-1996-04: Doets, Kees (1996) Proper Classes. [Report]
CT-1992-03: Apt, Krzysztof R. and Doets, Kees (1992) A new Definition of SLDNF-resolution. [Report]
CT-1991-08: Doets, Kees (1991) Levationis Laus. [Report]
CT-1990-07: Doets, Kees (1990) Greatest Fixed Points of Logic Programs. [Report]