Sai To Wang writes: > As far as I know, GO si PSPACE-complete without Ko and > is EXPTIME with Ko. ^^^^^^^^^^^^^^^ Do you have a reference on this? I thought this was an open problem... bye Rafael Caetano <rcaetano@xxxxxxxxxxxxxxxxx>