Kim, D. (2004). Analyzing sensor states and internal states in the tartarus problem with tree state machines. In Parallel Problem Solving from Nature - PPSN VIII (pp. 551-560). Berlin: Springer.