A general framework for semantics-based bottom-up abstract interpretation of logic programs - Barbuti, Roberto; Giacobazzi, Roberto; Levi, Giorgio 1942- (Università degli Studi <Pisa> / Dipartimento di Informatica: Technical report, 1991)