Learning Investment Functions for Controlling the Utility of Control Knowledge. - Oleg Ledeniov; Shaul Markovitch (AAAI/IAAI, 1998)

The Divide-and-Conquer Subgoal-Ordering Algorithm for Speeding up Logic Inference. - Oleg Ledeniov; Shaul Markovitch (J. Artif. Intell. Res., 1998)