Constraint Satisfaction Algorithms for Graph Pattern Matching

Javier Larrosa, Gabriel Valiente. Constraint Satisfaction Algorithms for Graph Pattern Matching. Mathematical Structures in Computer Science, 12(4):403-422, 2002.

Abstract

Abstract is missing.