On the occur-check free Prolog programs (1994)

by K R Apt, A Pellegrini
Venue:ACM Transactions on Programming Languages and Systems