A relaxed condition for avoiding the occur-check - Drabent, Włodzimierz (Theoretical computer science, 2023)
Keywords: Delays/coroutining; Logic programming; Modes; Occur-check; Selection rule; SLD-resolution; Unification; Modes; Logic programming; Unification; Occur-check; Selection rule; Delays/coroutining; SLD-resolution