Martin Nilsson Prolog as a Tool for Optimizing Prolog Unifiers. 13-21 1984 ICLP db/conf/iclp/iclp84.html#Nilsson84