Frank Raiser and Thom W. Frühwirth: Analysing graph transformation systems through constraint handling rules. (2011)journals/tplp/RaiserF1110.1017/S1471068410000438Analysing graph transformation systems through constraint handling rules.2Frank Raiser1Thom W. Frühwirth265-109Theory Pract. Log. Program.Theory Pract. Log. Program.1112011provenance information for RDF data of dblp record 'journals/tplp/RaiserF11'2020-02-13T14:39:32+0100