@article{ReusStreicher:12,
  journal = {Annals of Pure and Applied Logic},
  number = {10},
  year = {2012},
  volume = {163},
  title = {A synthetic theory of sequential domains.},
  ages = {1419-1436},
  author = {Reus, Bernhard and Streicher, Thomas},
}