A STIT-Extension of ATL.

Jan M. Broersen, Andreas Herzig, Nicolas Troquard

Browse the full JELIA paper archive.