A Strict Constrained Superposition Calculus for Graphs.

Rachid Echahed, Mnacho Echenim, Mehdi Mhalla, Nicolas Peltier

Browse the full FOSSACS paper archive.