Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Overbeek, R. The CADE-11 competitions: A personal view. J Autom Reasoning 11, 315–316 (1993). https://doi.org/10.1007/BF00881870
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00881870