Raoul Vorc h. Generalization and Abstraction Using Tableaux-Based Proof Systems. In TABLEAUX. pages 79-81, 1992.
@inproceedings{Vorch92, title = {Generalization and Abstraction Using Tableaux-Based Proof Systems}, author = {Raoul Vorc h}, year = {1992}, tags = {rule-based, abstraction}, researchr = {https://researchr.org/publication/Vorch92}, cites = {0}, citedby = {0}, pages = {79-81}, booktitle = {TABLEAUX}, }