Generalization and Abstraction Using Tableaux-Based Proof Systems.

Raoul Vorc'h

Browse the full TABLEAUX paper archive.