Stefano Berardi Thierry Coquand Susumu Hayashi Games with 1-backtracking. 210-225 2005 conf/galop/2005 GALOP db/conf/galop/galop2005.html#BerardiCH05