Incremental constraint satisfaction for equational logic programming - Alpuente, María; Falaschi, Moreno; Scutellà, Maria Grazia (1991)