Higher-order narrowing (1994)

by C Prehofer
Venue:In LICS-9