IMPACTing SHOP: Planning in a Multi-agent Environment