Zerksis D. Umrigar Finding Advantageous Orders for Argument Unification for the Prolog WAM. 80-96 1990 NACLP db/conf/slp/slp90.html#Umrigar90