Keyword:Dynamic Coalition Logic

Publications
EasyChair Preprint 8492