A STIT-extension of ATL

DSpace/Manakin Repository