Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michel A. Reniers. SOS rule formats for zero and unit elements. Theoretical Computer Science, 412(28):3045-3071, 2011. [doi]
@article{AcetoCIMR11-0,
title = {SOS rule formats for zero and unit elements},
author = {Luca Aceto and Matteo Cimini and Anna Ingólfsdóttir and Mohammad Reza Mousavi and Michel A. Reniers},
year = {2011},
doi = {10.1016/j.tcs.2011.01.024},
url = {http://dx.doi.org/10.1016/j.tcs.2011.01.024},
tags = {rule-based, SOS, rules},
researchr = {https://researchr.org/publication/AcetoCIMR11-0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {412},
number = {28},
pages = {3045-3071},
}