"A Deontic Action Logic with Sequential Composition of Actions."

Piotr Kulicki, Robert Trypuz (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics