Login / Signup

Unsound Inferences Make Proofs Shorter.

Juan P. AguileraMatthias Baaz
Published in: J. Symb. Log. (2019)
Keyphrases