Login / Signup

Complexity of Resolution Proofs and Function Introduction.

Matthias BaazAlexander Leitsch
Published in: Ann. Pure Appl. Log. (1992)
Keyphrases