On the Equivalence Problem for Attribute Systems

Bruno Courcelle, Paul Franchi-Zannettacci. On the Equivalence Problem for Attribute Systems. Inf. Comput., 52(3):275-305, March 1982.

Abstract

Abstract is missing.