An MML-based tool for evaluating the complexity of (stochastic) logic theories - Héctor Castillo-Andreu (CoRR, 2012)