An algorithmic account of winning strategies in Ehrenfeucht games on labelled successor structures