Preface: Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods

Journal Article

Author(s):Bernhard Beckert and Lawrence C. Paulson
Journal:Journal of Automated Reasoning
Publisher:Springer-Verlag
Number:1-3
Volume:38
Year:2007
Pages:1-2
DOI:10.1007/s10817-006-9058-6

BibTeX

@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}
}