A Theory of Game Trees, Based on Solution Trees.

Wim Pijls Arie de Bruin A Theory of Game Trees, Based on Solution Trees. 539-546 1997 conf/sofsem/1997 SOFSEM db/conf/sofsem/sofsem1997.html#PijlsB97