Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck
Combinations of Abstract Domains for Logic Programming
POPL, 1994.
@inproceedings{POPL-1994-CortesiCH,
author = "Agostino Cortesi and Baudouin Le Charlier and Pascal Van Hentenryck",
booktitle = "{Conference Record of the 21st Symposium on Principles of Programming Languages}",
doi = "10.1145/174675.177880",
editor = "Hans-Juergen Boehm and Bernard Lang and Daniel M. Yellin",
isbn = "0-89791-636-0",
pages = "227--239",
publisher = "{ACM Press}",
title = "{Combinations of Abstract Domains for Logic Programming}",
year = 1994,
}