@InProceedings{JunttilaNiemela:CL2000,
  author =       {Tommi A. Junttila and Ilkka Niemel{\"a}},
  title =        {Towards an Efficient Tableau Method for {Boolean} Circuit
                  Satisfiability Checking},
  booktitle =    {Computational Logic -- CL 2000;
                  First International Conference},
  year =         {2000},
  editor =       {John Lloyd and Veronica Dahl and Ulrich Furbach and 
                  Manfred Kerber and Kung-Kiu Lau and
                  Catuscia Palamidessi and Lu{\'i}s Moniz Pereira and
                  Yehoshua Sagiv and Peter J. Stuckey},
  volume =       {1861},
  series =       {Lecture Notes in Artificial Intelligence},
  publisher =    {Springer, Berlin},
  address =      {London, UK},
  month =        jul,
  pages =        {553--567},
}