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. (1999). Axiomatising dynamic logics for anaphora. Journal of Language and Computation, 1, 103-126.
van Eijck, D. J. N., & Heguiabehere, J. M. (1999). Dynamo with constraint handling. vg logic/info (oud WINS).
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).