Hans Kleine Büning, Piotr J. Wojciechowski, K. Subramani. On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas. In T. V. Gopal, Gerhard Jäger, Silvia Steila, editors, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Proceedings. Volume 10185 of Lecture Notes in Computer Science, pages 362-372, 2017. [doi]
Abstract is missing.