Maria Luisa Bonet, Samuel R. Buss
On the Deduction Rule and the Number of Proof Lines
LICS, 1991.
@inproceedings{LICS-1991-BonetB,
author = "Maria Luisa Bonet and Samuel R. Buss",
booktitle = "{Proceedings of the Sixth Annual Symposium on Logic in Computer Science}",
doi = "10.1109/LICS.1991.151653",
isbn = "0-8186-2230-X",
pages = "286--297",
publisher = "{IEEE Computer Society}",
title = "{On the Deduction Rule and the Number of Proof Lines}",
year = 1991,
}