Stasys Jukna. Exponential lower bounds for semantic resolution. In Paul Beam, Samuel R. Buss, editors, Proof Complexity and Feasible Arithmetics, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996. Volume 39 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pages 163-172, DIMACS/AMS, 1996.
@inproceedings{Jukna96, title = {Exponential lower bounds for semantic resolution}, author = {Stasys Jukna}, year = {1996}, researchr = {https://researchr.org/publication/Jukna96}, cites = {0}, citedby = {0}, pages = {163-172}, booktitle = {Proof Complexity and Feasible Arithmetics, Proceedings of a DIMACS Workshop, New Brunswick, New Jersey, USA, April 21-24, 1996}, editor = {Paul Beam and Samuel R. Buss}, volume = {39}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, publisher = {DIMACS/AMS}, }