EEMCS

Ketema, J. and Simonsen, J.G. (2010) Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies. Logical Methods in Computer Science, 6 (1:7). pp. 1-35. ISSN 1860-5974 *** ISI Impact 0,864 ***

Ketema, J. and Blom, S.C.C. and Aoto, T. and Simonsen, J.G. (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144. ISBN not assigned

Ketema, J. and Simonsen, J.G. (2009) Infinitary Combinatory Reduction Systems: Confluence. Logical Methods in Computer Science, 5 (4). ISSN 1860-5974 *** ISI Impact 0,864 ***