@Misc{            KlopVrijer,
  Author        = "Klop, Jan Willem and de Vrijer, Roel",
  date-added    = "2014-01-24 09:07:37 +0000",
  date-modified = "2014-01-24 09:10:17 +0000",
  Keywords      = "transfinite rewriting",
  Title         = "Infinitary Normalization",
  File          = "Infinitary Normalization - Klop, Vrijer (0) (0) - a - a - f.pdf"
}

@Misc{ KlopVrijer, Author = "Klop, Jan Willem and de Vrijer, Roel", date-added = "2014-01-24 09:07:37 +0000", date-modified = "2014-01-24 09:10:17 +0000", Keywords = "transfinite rewriting", Title = "Infinitary Normalization", File = "Infinitary Normalization - Klop, Vrijer (0) (0) - a - a - f.pdf" }