Daniel J. Dougherty Tomasz Wierzbicki A Decidable Variant of Higher Order Matching. 340-351 2002 conf/rta/2002 RTA http://link.springer.de/link/service/series/0558/bibs/2378/23780340.htm db/conf/rta/rta2002.html#DoughertyW02