Thomas R. Hancock Identifying µ-Formula Decision Trees with Queries. 23-37 1990 COLT http://portal.acm.org/citation.cfm?id=92571.92576 db/conf/colt/colt1990.html#Hancock90