Padberg, J. and Blumreiter, M. (2014) “Non-Deterministic Matching Algorithm for Net Transformations”,
Electronic Communications of the EASST
, 68. doi: 10.14279/tuj.eceasst.68.955.