Reasoning with graph constraints

Fernando Orejas, Hartmut Ehrig, Ulrike Prange. Reasoning with graph constraints. Formal Asp. Comput., 22(3-4):385-422, 2010. [doi]

Abstract

Abstract is missing.