@phdthesis{Gi92, author = {R. Giacobazzi}, title = {Semantic {A}spects of {L}ogic {P}rogram {A}nalysis}, school = {Dipartimento di Informatica, Universit\'a di Pisa}, number = {TD--18/93}, year = {1993}}