Debaprosad Dutt, Chi-Yuan Lo: On Minimal Closure Constraint Generation for Symbolic Cell Assembly. DAC 1991: 736-739