The top documents tagged [ieeeabstractan induction]