William H. Joyner Jr.. Resolution Strategies as Decision Procedures. Journal of the ACM, 23(3):398-417, 1976. [doi]
@article{Joyner76, title = {Resolution Strategies as Decision Procedures}, author = {William H. Joyner Jr.}, year = {1976}, researchr = {https://researchr.org/publication/Joyner76}, cites = {0}, citedby = {0}, journal = {Journal of the ACM}, volume = {23}, number = {3}, pages = {398-417}, }