A new definition of SLDNF-resolution Article

K.R. Apt (Krzysztof) and K. Doets

On the occur-check free prolog programs Article

K.R. Apt (Krzysztof) and A. Pellegrini

Logic programming and negation: a survey Article

K.R. Apt (Krzysztof) and R.N. Bol

Reasoning about prolog programs: from modes through types to assertions Article

K.R. Apt (Krzysztof) and E. Marchiori

Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics In Proceedings

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

Modular termination proofs for logic and pure prolog programs Book Chapter

K.R. Apt (Krzysztof) and D. Pedreschi

Schouten beschouwd Book

Editorial: From universal morphisms to megabytes: a Baayen space odyssey Book Chapter