Sesqui-Pushout Rewriting (2006)

by A Corradini, T Heindel, F Hermann, B König
Venue:ICGT. Lecture Notes in Computer Science 4178