@inproceedings{LS:06,
  series = {Lecture Notes in Computer Science},
  year = 2006,
  booktitle = {Proceedings of CSL 2006},
  volume = 4207,
  title = {Universality Results for Models in Locally Boolean Domains},
  pages = {456--470,},
  publisher = {Springer Verlag},
  author = {L\"ow, T. and Streicher, T.},
}