@Article{         DBLP:journals/tcs/HalavaHW01,
  Author        = "Halava, Vesa and Hirvensalo, Mika and de Wolf, Ronald",
  bibsource     = "DBLP, http://dblp.uni-trier.de",
  date-added    = "2013-10-05 18:17:48 +0000",
  date-modified = "2013-10-05 18:17:48 +0000",
  ee            = "http://dx.doi.org/10.1016/S0304-3975(99)00163-2",
  Journal       = "Theor. Comput. Sci.",
  Number        = "1-2",
  Pages         = "193-204",
  Title         = "Marked PCP is decidable",
  Volume        = "255",
  Year          = "2001",
  File          = "Marked PCP is decidable - Halava, Hirvensalo, Wolf (0) (0) - a - a - u.pdf"
}

@Article{ DBLP:journals/tcs/HalavaHW01, Author = "Halava, Vesa and Hirvensalo, Mika and de Wolf, Ronald", bibsource = "DBLP, http://dblp.uni-trier.de", date-added = "2013-10-05 18:17:48 +0000", date-modified = "2013-10-05 18:17:48 +0000", ee = "http://dx.doi.org/10.1016/S0304-3975(99)00163-2", Journal = "Theor. Comput. Sci.", Number = "1-2", Pages = "193-204", Title = "Marked PCP is decidable", Volume = "255", Year = "2001", File = "Marked PCP is decidable - Halava, Hirvensalo, Wolf (0) (0) - a - a - u.pdf" }