Bruno Apolloni Dario Malchiodi Christos Orovas Anna Maria Zanaboni Fuzzy Methods for Simplifying a Boolean Formula Inferred from Examples. 554-558 2002 conf/fskd/2002 FSKD db/conf/fskd/fskd2002.html#ApolloniMOZ02