Ehrenfeucht Games on Labelled Successor Structures: Remoteness and Optimal Strategies

Abstract

Technical Report RR02/2009