Execution mechanisms for the action language C+. - Robert Anthony Craven (2007)