@Article{         EndrullisHansenHendriksPolonskySilvaa,
  Author        = "Endrullis, Joerg and Hansen, Helle Hvid and Hendriks, Dimitri and Polonsky, Andrew and Silva, Alexandra",
  date-added    = "2014-01-23 22:06:11 +0000",
  date-modified = "2014-01-24 09:10:29 +0000",
  EPrint        = "1306.6224",
  Keywords      = "transfinite rewriting",
  Month         = "06",
  Title         = "A Coinductive Treatment of Infinitary Rewriting",
  URL           = "http://arxiv.org/abs/1306.6224",
  Year          = "2013",
  bdsk-url-1    = "http://arxiv.org/abs/1306.6224",
  File          = "A Coinductive Treatment of Infinitary Rewriting - Endrullis, Hansen, Hendriks, Polonsky, Silva (1) (0) - a - a - r.pdf",
  file-2        = "A Coinductive Treatment of Infinitary Rewriting - Endrullis, Hansen, Hendriks, Polonsky, Silva (2) (0) - a - a - r.pdf"
}

@Article{ EndrullisHansenHendriksPolonskySilvaa, Author = "Endrullis, Joerg and Hansen, Helle Hvid and Hendriks, Dimitri and Polonsky, Andrew and Silva, Alexandra", date-added = "2014-01-23 22:06:11 +0000", date-modified = "2014-01-24 09:10:29 +0000", EPrint = "1306.6224", Keywords = "transfinite rewriting", Month = "06", Title = "A Coinductive Treatment of Infinitary Rewriting", URL = "http://arxiv.org/abs/1306.6224", Year = "2013", bdsk-url-1 = "http://arxiv.org/abs/1306.6224", File = "A Coinductive Treatment of Infinitary Rewriting - Endrullis, Hansen, Hendriks, Polonsky, Silva (1) (0) - a - a - r.pdf", file-2 = "A Coinductive Treatment of Infinitary Rewriting - Endrullis, Hansen, Hendriks, Polonsky, Silva (2) (0) - a - a - r.pdf" }