@Article{BeckertPaulson2007,
  author =       {Bernhard Beckert and {Lawrence C.} Paulson},
  journal =      {Journal of Automated Reasoning},
  title =        {Preface:
                  {S}pecial Issue on Automated Reasoning with Analytic Tableaux and 
                  Related Methods},
  volume =       {38},
  number =       {1-3},
  pages =        {1--2},
  publisher =    {Springer-Verlag},
  doi =          {10.1007/s10817-006-9058-6},
  month =        apr,
  year =         {2007}
}