From Higher-Order to First-Order Rewriting.

Eduardo Bonelli Delia Kesner Alejandro Ríos 0001 From Higher-Order to First-Order Rewriting. 47-62 2001 conf/rta/2001 RTA https://doi.org/10.1007/3-540-45127-7_6 db/conf/rta/rta2001.html#BonelliKR01