van Eijck, D. J. N. (2000). [Review of: The Tbilisi symposium on logic, language and computation]. Science of Computer Programming, 38, 147-149.
van Eijck, D. J. N., Heguiabehere, J. M., & Ó Nualláin, B. S. (2000). Theorem proving and porgramming with dynamic first order logic - full version. (technical Report; No. INS-R0020). Institute for Logic Language and Computation.
van Eijck, D. J. N. (1999). Dynamo with shift and reduce. In C. Albert, H. Rott, G. Brewka, & C. Witteveen (Eds.), DGNMR'99 Proceedings ILLC Scientific Publications.
van Eijck, D. J. N. (1999). Powering decision machines with Dynamo. In M. de Rijke, M. Marx, Y. Venema, & J. Gerbrandy (Eds.), JFAK --- Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday ILLC.
van Eijck, D. J. N., & Heguiabehere, J. M. (1999). Dynamo with constraint handling. vg logic/info (oud WINS).
van Eijck, D. J. N. (1999). Axiomatising dynamic logics for anaphora. Journal of Language and Computation, 1, 103-126.
van Eijck, D. J. N. (1998). Axiomatising Dynamic Logics for Anafora. (INS-R9812/ LP-1998; No. 07). WINS (oud WINS).
van Eijck, D. J. N. (1998). Dynamic reasoning without variables. (INS-R9801). WINS (oud WINS).
van Eijck, D. J. N. (1998). incremental dynamics. (INS-R9811/LP1998; No. 08). WINS (oud WINS).
van Eijck, D. J. N. (1998). Programming with dynamic predicate logic. (INS-R9810; No. CT-1998). WINS (oud WINS).