%0 Journal Article %1 journals/jacm/AtseriasM20 %A Atserias, Albert %A Müller, Moritz %D 2020 %J J. ACM %K dblp %N 5 %P 31:1-31:17 %T Automating Resolution is NP-Hard. %U http://dblp.uni-trier.de/db/journals/jacm/jacm67.html#AtseriasM20 %V 67

@article{journals/jacm/AtseriasM20, added-at = {2020-11-06T00:00:00.000+0100}, author = {Atserias, Albert and Müller, Moritz}, biburl = {https://www.bibsonomy.org/bibtex/2641e2c0d235f3dc76dec74a6edf725f7/dblp}, ee = {https://doi.org/10.1145/3409472}, interhash = {c175a44ce072c356c73fcfb94ecab368}, intrahash = {641e2c0d235f3dc76dec74a6edf725f7}, journal = {J. ACM}, keywords = {dblp}, number = 5, pages = {31:1-31:17}, timestamp = {2020-11-07T11:34:46.000+0100}, title = {Automating Resolution is NP-Hard.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm67.html#AtseriasM20}, volume = 67, year = 2020 }