Author information
Authors and Affiliations
Additional information
This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.
Rights and permissions
About this article
Cite this article
Lusk, E., Overbeek, R. Non-horn problems. J Autom Reasoning 1, 103–114 (1985). https://doi.org/10.1007/BF00244291
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00244291