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
Back to Johann Schumann's home page