A Saturation-Based Automated Theorem Prover for RISCAL
Completion requirements
PDF
Click SaturationBasedTheoremProverRISCAL_LangenreitherViktoria.pdf link to view the file.