@Article{Ayari_Basin_Klaedtke:ibf,
  title     = {Decision Procedures for Inductive {Boolean} Functions based on Alternating Automata},
  author    = {Abdelwaheb Ayari and David Basin and Felix Klaedtke},
  journal   = {Theoretical Computer Science},
  publisher = {Elsevier},
  pages     = {301--329},
  volume    = 300,
  year      = 2003,
}