Towards Refinement of Definite Logic Programs. - Henryk Jan Komorowski; Silvia Trcek (ISMIS, 1994)