Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Autexier, S., Mantel, H., Merz, S. et al. Preface. J Autom Reasoning 41, 191–192 (2008). https://doi.org/10.1007/s10817-008-9110-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-008-9110-9