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

by R Giacobazzi, S K Debray, G Levi
Venue:J. Logic Program