Wim Pijls, Arie de Bruin: A Theory of Game Trees, Based on Solution Trees. SOFSEM 1997: 539-546