@article{GS98,
author = {R. Giacobazzi and F. Scozzari},
title = {A logical model for relational abstract domains},
year = {1998},
journal = "ACM Transactions on Programming Languages and Systems",
note = {To appear}}