Arlindo L. Oliveira and A. Sangiovanni-Vincentelli, Inferring reduced ordered decision of minimum description length, ML94 Workshop on Minimal Description Length, Jul. 1994 .
[bibTeX]