Minimisation of ATL ^* Models.

Serenella Cerrito, Amlie David

Browse the full TABLEAUX paper archive.