ILF-SETHEO: Processing Model Elimination Proofs for Natural Language Output.

Andreas Wolf, Johann Schumann

Browse the full CADE paper archive.