Hans Kleine Büning Theodor Lettmann Learning a Representation for Optimizable Formulas. 51-58 1996 conf/alt/1996 ALT db/conf/alt/alt1996.html#BuningL96