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

by Mircea Marin , Tetsuo Ida , Taro Suzuki
Citations:9 - 5 self