Set domains for structural properties of terms

Agostino Dovier, Alberto Policriti. Set domains for structural properties of terms. In Moreno Falaschi, Marisa Navarro, Alberto Policriti, editors, 1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE 97, Grado, Italy, June 16-19, 1997. pages 93-104, 1997.

Abstract

Abstract is missing.