Free Images: "bestof:Reduction by Implication Chart - Figure 2.svg this page Own Inductiveload 2009-05-01 Other fields + 1 Diagrams Finite state machine"