Combinations of abstract domains for logic programming

Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
1994 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94  
Providence requires a fee endlor specific permission. POPL 94-1/94,
doi:10.1145/174675.177880 dblp:conf/popl/CortesiCH94 fatcat:3ktpjxvzkrf2holohj2wek3tbi