Finite-tree analysis for constraint logic-based languages

Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella. Finite-tree analysis for constraint logic-based languages. Inf. Comput., 193(2):84-116, 2004. [doi]

Abstract

Abstract is missing.