Low complexity and large interactions are possible in Strategy logic | IEEE Conference Publication | IEEE Xplore