"A rewriting framework and logic for activities subject to regulations."

Max I. Kanovich et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics