@inproceedings{behr_et_al:LIPIcs.FSCD.2023.17,
 address = {Dagstuhl, Germany},
 author = {Behr, Nicolas and Melli{\`e}s, Paul-Andr{\'e} and Zeilberger, Noam},
 booktitle = {8th {{International Conference}} on {{Formal Structures}} for {{Computation}} and {{Deduction}} ({{FSCD}} 2023)},
 doi = {10.4230/LIPIcs.FSCD.2023.17},
 editor = {Gaboardi, Marco and {van Raamsdonk}, Femke},
 isbn = {978-3-95977-277-8},
 issn = {1868-8969},
 pages = {17:1--17:20},
 publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f\"ur Informatik},
 series = {Leibniz {{International Proceedings}} in {{Informatics}} ({{LIPIcs}})},
 title = {Convolution {{Products}} on {{Double Categories}} and {{Categorification}} of {{Rule Algebras}}},
 volume = {260},
 year = {2023}
}