EG - A Case Study in Problem Solving with King and Pawn Endings. - C. Perdue; Hans J. Berliner (IJCAI, 1977)