Wim Pijls Arie de Bruin Game Tree Algorithms and Solution Trees. 195-204 1998 conf/cg/1998 Computers and Games http://link.springer.de/link/service/series/0558/bibs/1558/15580195.htm db/conf/cg/cg1998.html#PijlsB98