DERRIC: A Tool for Unified Logic Diagnosis.

Alexandre Rousset, Alberto Bosio, Patrick Girard, Christian Landrault, Serge Pravossoudovitch, Arnaud Virazel

Browse the full ETS paper archive.