This process appears quite similar to the decision lists technique in machine learning (Rivest, 1987) which has already been combined with the MDL principle (Pfahringer, 1997).
we are not committed to this formalism: we are more interested in the content of the model rather than its knowledge representation.