Equations over Trees and Lists with Constraints

Stéphane Grandcolas. Equations over Trees and Lists with Constraints. In AIMSA. pages 129-138, 1990.

Abstract

Abstract is missing.