Beklemishev, L., Joosten, J. J., & Vervoort, M. R. (2005). A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic. (Technical Reports; No. PP-2005-16). Institute for Logic, Language and Computation.
Trautwein, M. H., Adriaans, P. W., & Vervoort, M. R. (2000). Towards high speed grammar induction on large text corpora. Lecture Notes in Computer Science, 1963, 173-186.
Vervoort, M. R. (2000). Games, walks and grammars: Problems I've worked on. [Thesis, fully internal, Universiteit van Amsterdam]. ILLC.
Vervoort, M. R. (1996). Blackwell Games. In T. Ferguson (Ed.), David Blackwell Festschrift Institute for Mathematical Statistics.
