@InProceedings{Jackson04,
  author =       {Paul Jackson and Daniel Sheridan},
  title =        {Clause Form Conversions for Boolean Circuits},
  booktitle =    {Seventh International Conference on Theory and
                   Applications of Satisfiability Testing (SAT 2004)},
  year =         2004,
  series =       lncs,
  month =        dec,
  publisher =    {Springer-Verlag},
  note =         {To Appear}
}