Sesqui-pushout rewriting (2006)

by A Corradini, T Heindel, F Hermann, B König
Venue:In Third International Conference on Graph Transformations (ICGT