Generalized Semantics and Abstract Interpretation for Constraint Logic Programs (1995)

by R Giacobazzi, S K Debray, G Levi
Venue:Journal of Logic Programming