Larry Wos, S. Winker, B. Smith, Robert Veroff, Lawrence J. Henschen. A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains. Artificial Intelligence, 22(3):303-356, 1984.
@article{WosWSVH84,
title = {A New Use of an Automated Reasoning Assistant: Open Questions in Equivalential Calculus and the Study of Infinite Domains},
author = {Larry Wos and S. Winker and B. Smith and Robert Veroff and Lawrence J. Henschen},
year = {1984},
tags = {source-to-source, open-source},
researchr = {https://researchr.org/publication/WosWSVH84},
cites = {0},
citedby = {0},
journal = {Artificial Intelligence},
volume = {22},
number = {3},
pages = {303-356},
}