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