iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.uni-trier.de/rec/journals/apal/BaazL99.xml
Matthias Baaz Alexander Leitsch Cut Normal Forms and Proof Complexity. 127-177 1999 97 Ann. Pure Appl. Log. 1-3 db/journals/apal/apal97.html#BaazL99 https://doi.org/10.1016/S0168-0072(98)00026-8