Christian Prehofer Higher-Order Narrowing with Convergent Systems. 199-213 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#Prehofer95