Michael J. Maher Constrained Dependencies. 170-185 1995 conf/cp/1995 CP db/conf/cp/cp95.html#Maher95