@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}
}
Preface: Special Issue on Automated Reasoning with Analytic Tableaux and Related Methods
| 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 |