Denis Lugiez Higher Order Disunification: Some decidable cases. 121-135 1994 conf/ccl/1994 CCL db/conf/ccl/ccl94.html#Lugiez94