Maria Luisa Bonet, Samuel R. Buss. On the Deduction Rule and the Number of Proof Lines. In Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands. pages 286-297, IEEE Computer Society, 1991.
@inproceedings{BonetB91, title = {On the Deduction Rule and the Number of Proof Lines}, author = {Maria Luisa Bonet and Samuel R. Buss}, year = {1991}, tags = {rule-based, rules}, researchr = {https://researchr.org/publication/BonetB91}, cites = {0}, citedby = {0}, pages = {286-297}, booktitle = {Proceedings, Sixth Annual IEEE Symposium on Logic in Computer Science, 15-18 July, 1991, Amsterdam, The Netherlands}, publisher = {IEEE Computer Society}, }