• Vincent van Oostrom and Tim Selier
  Clickable proofs
  , TF lunch Talk, Utrecht, Tuesday 5 March, 2013
  (PDF of talk; contact me for corresponding iOS app)
  
  
• Jan van Eijk, Vincent van Oostrom, Albert Visser (eds.)
  Logic Colloquium '99
  Proceedings of the Annual European Summer
  Meeting of the Association for Symbolic Logic,
  held in Utrecht, The Netherlands
  August 1-6, 1999
  LNL 17, ASL and AK Peters, ISBN: 1-56881-199-3 (HC) 1-56881-203-5 (PB)
  (Association for Symbolic Logic page)
  
  
• Joost Engelfriet and Vincent van Oostrom
  Logical Description of Context-Free Graph Languages
  Journal of Computer and System Sciences, Volume 55, No. 3, pp. 489 - 503, December 1997
  (abstract)
  
  
• Joost Engelfriet and Vincent van Oostrom
  Regular Description of Context-Free Graph Languages
  Journal of Computer and System Sciences, Volume 53, No. 3, pp. 556 - 574, December 1996
  (abstract)
  
  
• Vincent van Oostrom
  Graafgrammatica's en Monadische 2de orde Logica
  Master's thesis, Rijksuniversiteit Leiden, Leiden, 82 pages, March 17, 1989
  (abstract)