DaeEun Kim: Analyzing Sensor States and Internal States in the Tartarus Problem with Tree State Machines. PPSN 2004: 551-560