A needed narrowing strategy. (2000)

by S Antoy, R Echahed, M Hanus
Venue:J. ACM