On Devising Algorithms for Ehrenfeucht-Fraïssé Games

MONTANARI, Angelo

POLICRITI, Alberto

VITACOLONNA, Nicola