On winning Ehrenfeucht games and monadic NP - Schwentick, Thomas (1995)