On Reducing the Search Space of Higher-Order Lazy Narrowing (1999)

by M Marin, T Ida, T Suzuki
Venue:FLOPS'99, volume 1722 of LNCS