@InProceedings{ElgKlaMoe:Mona1.x:newtechWS1SWS2S,
  author =       {Jacob Elgaard and Nils Klarlund and Anders M{\o}ller},
  title =        {{MONA} 1.x: new techniques for {WS1S} and {WS2S}},
  booktitle =    {Proc. 10th International Conference on 
                  Computer-Aided Verification, CAV~'98},
  year =         {1998},
  month =        {June/July},
  volume =       {1427},
  series =       {LNCS},
  publisher =    {Springer-Verlag},
  pages =        {516--520},
}