@inbook{f3708ddce1c744d390af0c596095f760,
title = "Rewriting Transfinite Terms",
abstract = "We define rewriting over terms with positions of transfinite length.",
keywords = "IR-68362, METIS-264085, Transfinite terms, CR-F.4.2, Term rewriting, CR-F.3.2, CR-F.4.1, EWI-16203",
author = "J. Ketema and Stefan Blom and Takahito Aoto and Simonsen, {Jakob Grue}",
year = "2009",
month = sep,
day = "11",
language = "Undefined",
isbn = "not assigned",
publisher = "Lulu",
pages = "129--144",
booktitle = "Liber Amicorum for Roel de Vrijer",
}