@InProceedings{Klaedtke:extension_ws1s,
  author =       {Felix Klaedtke},
  title =        {Decision Procedure for an Extension of {WS1S}},
  booktitle =    {Proceedings of 10th Annual Conference of the EACSL (CSL 2001)},
  pages =        {384--398},
  year =         {2001},
  volume =       {2142},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}