Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version http://arxiv.org/abs/cs.PL/0404055 2004 CoRR cs.PL/0404055 db/journals/corr/corr0404.html#cs-PL-0404055 informal publication