Propagation of constraints applied to circuit synthesis. Circuit Theory and Applications 8:127–144 (1980)

by J DE KLEER, G J SUSSMAN