Hendrik Maarand, Tarmo Uustalu. Certified normalization of generalized traces. ISSE, 15(3-4):253-265, 2019. [doi]
@article{MaarandU19,
title = {Certified normalization of generalized traces},
author = {Hendrik Maarand and Tarmo Uustalu},
year = {2019},
doi = {10.1007/s11334-019-00347-1},
url = {https://doi.org/10.1007/s11334-019-00347-1},
researchr = {https://researchr.org/publication/MaarandU19},
cites = {0},
citedby = {0},
journal = {ISSE},
volume = {15},
number = {3-4},
pages = {253-265},
}