Modal Tableaux for Reasoning About Actions and Plans.

Marcos A. Castilho Olivier Gasquet Andreas Herzig Modal Tableaux for Reasoning About Actions and Plans. 104-116 1997 conf/ecp/1997 ECP db/conf/ecp/ecp1997.html#CastilhoGH97