TY  - RPRT
TI  - Distributive Laws and Decidable Properties of SOS Specifications
AU  - Bartek Klin
AU  - Beata Nachyła
PY  - 2014
DO  - 10.4204/eptcs.160.8
UR  - https://arxiv.org/abs/1408.1458
ID  - 1408.1458
ER  -