"Completely and partially executable sequences of actions in deontic context."

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