On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas.

Hans Kleine Bning, Piotr Wojciechowski, K. Subramani

Browse the full TAMC paper archive.