"It depends on the context! A decidable logic of actions and plans based on ..."

Marcos A. Castilho, Andreas Herzig, Ivan José Varzinczak (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics