@Article{         EndrullisGrabmayerHendriksKlop,
  Author        = "Endrullis, Joerg and Grabmayer, Clemens and Hendriks, Dimitri and Klop, Jan Willem",
  date-added    = "2014-01-24 17:31:25 +0000",
  date-modified = "2014-01-24 17:34:20 +0000",
  EPrint        = "0911.1009",
  Keywords      = "transfinite rewriting",
  Month         = "11",
  Title         = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting",
  URL           = "http://arxiv.org/abs/0911.1009",
  Year          = "2009",
  bdsk-url-1    = "http://arxiv.org/abs/0911.1009",
  File          = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting - Endrullis, Grabmayer, Hendriks, Klop (0) (0) - a - a - j.pdf",
  file-2        = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting - Endrullis, Grabmayer, Hendriks, Klop (1) (0) - a - a - j.pdf"
}

@Article{ EndrullisGrabmayerHendriksKlop, Author = "Endrullis, Joerg and Grabmayer, Clemens and Hendriks, Dimitri and Klop, Jan Willem", date-added = "2014-01-24 17:31:25 +0000", date-modified = "2014-01-24 17:34:20 +0000", EPrint = "0911.1009", Keywords = "transfinite rewriting", Month = "11", Title = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting", URL = "http://arxiv.org/abs/0911.1009", Year = "2009", bdsk-url-1 = "http://arxiv.org/abs/0911.1009", File = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting - Endrullis, Grabmayer, Hendriks, Klop (0) (0) - a - a - j.pdf", file-2 = "Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting - Endrullis, Grabmayer, Hendriks, Klop (1) (0) - a - a - j.pdf" }