A general framework for semantics-based bottom-up abstract interpretation of logic programs - Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio 1942- (1991)