Call Unfolding Strategies for Equational Logic Programs.

David J. Sherman, Robert Strandh

Browse the full PEPM paper archive.