Toward Automating the Discovery of Decreasing Measures. - Robert S. Boyer; Wilfred J. Legato; Victor W. Marek (J. Autom. Reason., 2005)