On polynomial-size programs winning finitestate games, in (1995)

by H LESCOW
Venue:Proc. 7th Int. Conf. on Computer Aided Verification, LNCS 939