An Intermediate Representation for Mathematical Problem Solving. - J. F. Koegel; N. Lakshmipathy; J. Schlesinger (ICCAL, 1989)