Kim Marriott Harald Søndergaard On prolog and the occur check problem. 76-82 1989 24 SIGPLAN Notices 5 http://doi.acm.org/10.1145/66068.66075 db/journals/sigplan/sigplan24.html#MarriottS89