On the occur-check free prolog programs - Apt, Krzysztof R. 1949-; Pellegrini, Alessandro 1897-1985 (1992)