@InProceedings{Sheridan04,
  author =       {Daniel Sheridan},
  title =        {Bounded Model Checking with {SNF}, Alternating Automata
                    and B\"uchi Automata},
  booktitle =    {Second International Workshop on Bounded Model Checking},
  year =         2004,
  month =        jul,
  note =         {To appear in ENTCS}
}