Jan Johannsen, N. S. Narayanaswamy. An Optimal Lower Bound for Resolution with 2-Conjunctions. In Krzysztof Diks, Wojciech Rytter, editors, Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings. Volume 2420 of Lecture Notes in Computer Science, pages 387-398, Springer, 2002. [doi]
Abstract is missing.