Universal game models of the Nakajima tree and Bohm tree - theories. Technical Report, available from http://web.comlab.ox.ac.uk/ oucl/work/andrew.ker (1999)

by A Ker