Eduardo Bonelli et al.: Relating Higher-order and First-order Rewriting. (2005)journals/logcom/BonelliKR05a10.1093/LOGCOM/EXI050Relating Higher-order and First-order Rewriting.3Eduardo Bonelli1Delia Kesner2Alejandro Ríos 00013901-947J. Log. Comput.J. Log. Comput.1562005provenance information for RDF data of dblp record 'journals/logcom/BonelliKR05a'2023-06-28T16:49:14+0200