Omega-Perfect Semantics for Inductive Synthesis, Refinement Calculus and Update of Logic Programs. - Roger Klausen; Henryk Jan Komorowski (WOCFAI, 1995)