Marc Bezem. Completeness of Resolution Revisited. Theoretical Computer Science, 74(2):227-237, 1990.
@article{Bezem90, title = {Completeness of Resolution Revisited}, author = {Marc Bezem}, year = {1990}, tags = {completeness}, researchr = {https://researchr.org/publication/Bezem90}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {74}, number = {2}, pages = {227-237}, }