Call Unfolding Strategies for Equational Logic Programs.

David Sherman Robert Strandh Call Unfolding Strategies for Equational Logic Programs. 48-53 1992 PEPM db/conf/pepm/pepm92.html#ShermanS92