Juan Luis Esteban, Nicola Galesi, Jochen Messner. On the complexity of resolution with bounded conjunctions. Theoretical Computer Science, 321(2-3):347-370, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.