Hans Kleine Büning, Theodor Lettmann: Learning a Representation for Optimizable Formulas. ALT 1996: 51-58