Reasoning with graph constraints

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

Authors

Fernando Orejas

This author has not been identified. Look up 'Fernando Orejas' in Google

Hartmut Ehrig

This author has not been identified. Look up 'Hartmut Ehrig' in Google

Ulrike Prange

This author has not been identified. Look up 'Ulrike Prange' in Google