Agostino Cortesi, Baudouin Le Charlier, Pascal Van Hentenryck. Combinations of Abstract Domains for Logic Programming. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. pages 227-239, 1994.
@inproceedings{CortesiCH94,
title = {Combinations of Abstract Domains for Logic Programming},
author = {Agostino Cortesi and Baudouin Le Charlier and Pascal Van Hentenryck},
year = {1994},
tags = {logic programming, programming, logic, Pascal},
researchr = {https://researchr.org/publication/CortesiCH94},
cites = {0},
citedby = {0},
pages = {227-239},
booktitle = {Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
}