Random Search Of And-Or Graphs Representing Finite-State Models