Automated Reasoning: Recent Papers

Andreas Wolf and Johann Schumann

ILF-SETHEO: Processing Model Elimination Proof for Natural Language Output

in Proc. CADE-14 1997

BibTeX-entry or PostScript