Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Fischer, B., Sutcliffe, G. & Schulz, S. Empirically Successful Automated Reasoning: Systems Issue. J Autom Reasoning 36, 287 (2006). https://doi.org/10.1007/s10817-006-9059-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10817-006-9059-5