Gerda Janssens Bart Demoen André Mariën Improving the Register Allocation of WAM by Recording Unification. 1388-1402 1988 ICLP/SLP db/conf/iclp/iclp88.html#JanssensDM88