On the occur-check free Prolog programs (1994)

by K R Apt, A Pellegrini
Venue:ACM Trans. Programming Lang. and Syst