Sesqui-pushout rewriting (0)

by A Corradini, T Heindel, F Hermann, B König
Venue:In [5