Erik G. Miller, Paul A. Viola: Ambiguity and Constraint in Mathematical Expression Recognition. AAAI/IAAI 1998: 784-791