@article{Cousot20094724,
title = "Abstract interpretation of resolution-based semantics",
journal = "Theoretical Computer Science",
volume = "410",
number = "46",
pages = "4724 - 4746",
year = "2009",
note = "Abstract Interpretation and Logic Programming: In honor of professor Giorgio Levi",
issn = "0304-3975",
doi = "DOI: 10.1016/j.tcs.2009.07.040",
url = "http://www.sciencedirect.com/science/article/B6V1G-4WV15VS-B/2/2f48daf447c2db17b3bf52f64c08c836",
author = "Patrick Cousot and Radhia Cousot and Roberto Giacobazzi",
keywords = "Abstract interpretation",
keywords = "Bottom-up semantics",
keywords = "Herbrand semantics",
keywords = "Logic programming",
keywords = "s-semantics"
}