@PhdThesis{Bagnara97th, author = "R. Bagnara", title = "Data-Flow Analysis for Constraint Logic-Based Languages", school = "Dipartimento di Informatica, Universit\`a di Pisa", address = "Corso Italia 40, I-56125 Pisa, Italy", year = 1997, month = mar, note = "Printed as Report TD-1/97" }