Implementation of State Elimination Using Heuristics. - Jae-Hee Ahn; Yo-Sub Han (CIAA, 2009)