@inproceedings{BehrHK21,
 author = {Behr, Nicolas and Harmer, Russ and Krivine, Jean},
 booktitle = {Graph {{Transformation}} - 14th {{International Conference}}, {{ICGT}} 2021, {{Held}} as {{Part}} of {{STAF}} 2021, {{Virtual Event}}, {{June}} 24-25, 2021, {{Proceedings}}},
 doi = {10.1007/978-3-030-78946-6_1},
 editor = {Gadducci, Fabio and Kehrer, Timo},
 pages = {3--21},
 publisher = {Springer},
 series = {Lecture {{Notes}} in {{Computer Science}}},
 title = {Concurrency {{Theorems}} for {{Non}}-Linear {{Rewriting Theories}}},
 volume = {12741},
 year = {2021}
}