Congruence for Structural Congruences.

Mohammad Reza Mousavi, Michel A. Reniers

Browse the full FOSSACS paper archive.