@inproceedings{bp2018,
 address = {Dagstuhl, Germany},
 author = {Behr, Nicolas and Sobocinski, Pawel},
 booktitle = {27th {{EACSL Annual Conference}} on {{Computer Science Logic}} ({{CSL}} 2018)},
 doi = {10.4230/LIPIcs.CSL.2018.11},
 editor = {Ghica, Dan and Jung, Achim},
 isbn = {978-3-95977-088-0},
 issn = {1868-8969},
 pages = {11:1--11:21},
 publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
 series = {Leibniz {{International Proceedings}} in {{Informatics}} ({{LIPIcs}})},
 title = {Rule {{Algebras}} for {{Adhesive Categories}}},
 volume = {119},
 year = {2018}
}