Werner L. Schiele. Compaction with Incremental Over-Constraint Resolution. In DAC. pages 390-395, 1988. [doi]
@inproceedings{Schiele88, title = {Compaction with Incremental Over-Constraint Resolution}, author = {Werner L. Schiele}, year = {1988}, url = {http://portal.acm.org/citation.cfm?id=285730.285793}, tags = {constraints, incremental}, researchr = {https://researchr.org/publication/Schiele88}, cites = {0}, citedby = {0}, pages = {390-395}, booktitle = {DAC}, }