Shred

MaRDI QIDQ32156swMATHFDO

Official website http://membres-lig.imag.fr/peltier/schred-paper.pdf

Cited in

(2)

• CERES
• A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules

This page was built for software: Shred