Eliana Minicozzi, Raymond Reiter. A Note on Linear Resolution Strategies in Consequence-Finding. Artificial Intelligence, 3(1-3):175-180, 1972.
@article{MinicozziR72, title = {A Note on Linear Resolution Strategies in Consequence-Finding}, author = {Eliana Minicozzi and Raymond Reiter}, year = {1972}, researchr = {https://researchr.org/publication/MinicozziR72}, cites = {0}, citedby = {0}, journal = {Artificial Intelligence}, volume = {3}, number = {1-3}, pages = {175-180}, }