Apt, K. R. (1998). Formulas as programs. (PNA; No. R9809). WINS (oud WINS).
Apt, K. R. (1998). Alma-O: An Imperative Language that supports declarative programming. ACM Transactions on Programming Languages and Systems, 20(5), 1014-1066.
Apt, K. R. (1998). Special Issue: foundations of constraint programming. Fundamenta Informaticae, 34(3), ---.
Apt, K. R. (1998). CWI Quarterly: Special issue on constraints. (-; No. vol. 2-3). CWI.
Apt, K. R. (1998). View of constraint programming. Fundamenta Informaticae, 33(3), 263-293.
Apt, K. R. (1997). From chaotic iteration to constraint propagation. In R. Gorrieri, P. Degano, & A. Marchetti-Spaccamela (Eds.), Proceedings of the 24th International Colloquium, ICALP '97 (pp. 36-55). (LNCS; No. 1256). Springer-Verlag.
Apt, K. R. (1997). From Logic Programming to Prolog. Prentice-Hall.
Apt, K. R., & Olderog, E. R. (1997). Verification of Sequential and Concurrent Programs. Springer-Verlag.
Apt, K. R., & Schaerf, A. (1997). Search and imperative programming. In Proc. 24th Annual SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '97) (pp. 67-79). ACM Press.
Apt, K. R., Brunekreef, J. J., Partington, V., & Schaerf, A. (1997). Alma-0: An imperative language that supports declarative programming. (Technical Report; No. PNA-R9713). CWI.