Login / Signup

Cut-elimination and Redundancy-elimination by Resolution.

Matthias BaazAlexander Leitsch
Published in: J. Symb. Comput. (2000)
Keyphrases