@InCollection{    eemcs16203,
  Author        = "{Ketema}, J. and {Blom}, S. C. C. and {Aoto}, T. and {Simonsen}, J. G.",
  Abstract      = "We define rewriting over terms with positions of transfinite length.",
  Address       = "Raleigh, NC",
  BookTitle     = "Liber Amicorum for Roel de Vrijer",
  date-added    = "2013-12-25 11:23:21 +0000",
  date-modified = "2013-12-25 11:23:21 +0000",
  eprintid      = "16203",
  HowPublished  = "http://eprints.eemcs.utwente.nl/16203/",
  international = "No",
  ISBN          = "not assigned",
  ispublished   = "Published",
  Keywords      = "Term rewriting, Transfinite terms",
  Month         = "September",
  num_pages     = "16",
  Pages         = "129--144",
  Publisher     = "Lulu",
  refereed      = "No",
  research_groups="EWI-FMT: Formal Methods and Tools",
  research_programs="CTIT-DSN: Dependable Systems and Networks",
  Title         = "Rewriting Transfinite Terms",
  Year          = "2009",
  File          = "Rewriting Transfinite Terms - Ketema, Blom, Aoto, Simonsen (0) (0) - a - a - m.pdf"
}

@InCollection{ eemcs16203, Author = "{Ketema}, J. and {Blom}, S. C. C. and {Aoto}, T. and {Simonsen}, J. G.", Abstract = "We define rewriting over terms with positions of transfinite length.", Address = "Raleigh, NC", BookTitle = "Liber Amicorum for Roel de Vrijer", date-added = "2013-12-25 11:23:21 +0000", date-modified = "2013-12-25 11:23:21 +0000", eprintid = "16203", HowPublished = "http://eprints.eemcs.utwente.nl/16203/", international = "No", ISBN = "not assigned", ispublished = "Published", Keywords = "Term rewriting, Transfinite terms", Month = "September", num_pages = "16", Pages = "129--144", Publisher = "Lulu", refereed = "No", research_groups="EWI-FMT: Formal Methods and Tools", research_programs="CTIT-DSN: Dependable Systems and Networks", Title = "Rewriting Transfinite Terms", Year = "2009", File = "Rewriting Transfinite Terms - Ketema, Blom, Aoto, Simonsen (0) (0) - a - a - m.pdf" }