A stit-Logic for Extensive Form Group Strategies | IEEE Conference Publication | IEEE Xplore