@InProceedings{Kla:TheoryRestricLogAut,
  author = {Nils Klarlund},
  title = {A theory of restrictions for logics and automata},
  booktitle = {Computer Aided Verification, CAV '99},
  series = {LNCS},
  volume= {1633}
}