Maria J. García de la Banda Manuel V. Hermenegildo Kim Marriott Independence in Constraint Logic Programs. 130-146 1993 ILPS db/conf/slp/slp93.html#BandaHM93