(1)
Padberg, J.; Blumreiter, M. Non-Deterministic Matching Algorithm for Net Transformations. ECEASST 2014, 68.