Saumya K. Debray Register Allocation in a Prolog Machine. 267-275 1986 SLP db/conf/slp/slp86.html#Debray86