A Calculus for Generating Ground Explanations.

Mnacho Echenim, Nicolas Peltier

Browse the full CADE paper archive.