@inproceedings{Otto1994,
  year = {1994},
  booktitle = {Proceedings of 9th IEEE Symposium on Logic in Computer Science
               LICS `94},
  author = {Otto, Martin},
  pages = {30-39},
  title = {Generalized quantifiers for simple properties},
}