Soundness, idempotence and commutativity of set-sharing

Patricia M. Hill, Roberto Bagnara, Enea Zaffanella. Soundness, idempotence and commutativity of set-sharing. TPLP, 2(2):155-201, 2002.

Abstract

Abstract is missing.