Stefan Szeider
NP-Completeness of Refutability by Literal-Once Resolution
IJCAR, 2001.
@inproceedings{IJCAR-2001-Szeider, author = "Stefan Szeider", booktitle = "{Proceedings of the First International Joint Conference on Automated Reasoning}", doi = "10.1007/3-540-45744-5_13", isbn = "3-540-42254-4", pages = "168--181", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{NP-Completeness of Refutability by Literal-Once Resolution}", volume = 2083, year = 2001, }