@article{DBLP:journals/mscs/KanovichKNSTP17,
author = {Max I. Kanovich and
Tajana Ban Kirigin and
Vivek Nigam and
Andre Scedrov and
Carolyn L. Talcott and
Ranko Perovic},
title = {A rewriting framework and logic for activities subject to regulations},
journal = {Mathematical Structures in Computer Science},
volume = {27},
number = {3},
pages = {332--375},
year = {2017},
url = {https://doi.org/10.1017/S096012951500016X},
doi = {10.1017/S096012951500016X},
timestamp = {Thu, 08 Jun 2017 09:09:46 +0200},
biburl = {https://dblp.org/rec/bib/journals/mscs/KanovichKNSTP17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}