An Implementation of Narrowing Strategies (2001)

by Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner
Venue:Journal of the ACM