Higher-order narrowing | IEEE Conference Publication | IEEE Xplore