Solving games using incremental induction (2013)

by A Morgenstern, M Gesell, K Schneider
Venue:In IFM’13, LNCS 7940