This is a preview of subscription content, log in via an institution to check access.
Rights and permissions
About this article
Cite this article
A well-kept secret of history. J Autom Reasoning 7, 301–302 (1991). https://doi.org/10.1007/BF00249015
Issue Date:
DOI: https://doi.org/10.1007/BF00249015