Cortesi, et al.. Combinations of Abstract Domains for Logic Programming. ACM Press, 1994, doi:10.1145/174675.177880.