How to Control Unfolding when Specialising Interpreters (1990)

by A Lakhotia, L Sterling
Venue:In The Practice of Prolog, L. Sterling (Ed