Cut-elimination and redundancy-elimination by resolution (2000)

Cached

Download Links

by Matthias Baaz , Alexander Leitsch
Venue:Journal of Symbolic Computation
Citations:28 - 10 self