@article{AFL95,

Author   = "M. Alpuente and M. Falaschi and G. Levi", 

Title    = "Incremental {C}onstraint {S}atisfaction for {E}quational
            {L}ogic {P}rogramming",

Journal  = "Theoretical Computer Science",

Number   = "3",

Year     = "1995", 

Pages    = "27--57"

}