"Compaction with Incremental Over-Constraint Resolution."

Werner L. Schiele (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics