@article{Vermeulen93,
  author	= {Vermeulen, C. F. M.},
  year		= {1993},
  title		= {Sequence semantics for dynamic predicate logic},
  journal	= {Journal of Logic, Language and Information},
  volume	= {2},
  number	= {3},
  pages		= {217--254},
}