Frank S. de Boer Alessandra Di Pierro Catuscia Palamidessi An Algebraic Perspective of Constraint Logic Programming. 1-38 1997 7 J. Log. Comput. 1 db/journals/logcom/logcom7.html#BoerPP97