Login / Signup

Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case.

Andrea AspertiEnrico Tassi
Published in: Calculemus/MKM (2007)
Keyphrases