@InProceedings{Klaedtke:inductive_boolean_functions,
  author =       {Abdelwaheb Ayari and David Basin and Felix Klaedtke},
  title =        {Decision Procedures for Inductive {Boolean} Functions based on Alternating Automata},
  booktitle =    {Proceedings of the 12th International Conference of Computer Aided Verification (CAV 2000)},
  pages =        {170--185},
  year =         {2000},
  volume =       {1855},
  series =       {Lecture Notes in Computer Science},
  publisher =    {Springer-Verlag},
}