Sesqui-Pushout Rewriting with Type Refinements
2016 ◽
pp. 21-36