Luca Aceto, Bard Bloom, Frits W. Vaandrager. Turning SOS Rules into Equations. In Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA. pages 113-124, IEEE Computer Society, 1992.
@inproceedings{AcetoBV92,
title = {Turning SOS Rules into Equations},
author = {Luca Aceto and Bard Bloom and Frits W. Vaandrager},
year = {1992},
tags = {rule-based, SOS, rules},
researchr = {https://researchr.org/publication/AcetoBV92},
cites = {0},
citedby = {0},
pages = {113-124},
booktitle = {Proceedings, Seventh Annual IEEE Symposium on Logic in Computer Science, 22-25 June 1992, Santa Cruz, California, USA},
publisher = {IEEE Computer Society},
}