Shred

swMATH20336MaRDI QIDQ32156FDOQ32156

Author name not available (Why is that?)

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