Larry Wos Note on McCune's Article on Discrimination Trees. 145-146 1992 9 J. Autom. Reasoning 2 db/journals/jar/jar9.html#Wos92c