An Algorithmic Account of Ehrenfeucht Games on Labeled Successor Structures.

Angelo Montanari, Alberto Policriti, Nicola Vitacolonna

Browse the full LPAR paper archive.