@InProceedings{   MannaNess,
  Author        = "Manna, Zohar and Ness, Steven",
  Address       = "Honolulu, HI",
  BookTitle     = "Proc. of the Third Hawaii International Conference on System Science",
  date-added    = "2014-01-29 12:52:07 +0000",
  date-modified = "2014-01-29 12:52:47 +0000",
  Month         = "January",
  Pages         = "789--792",
  Title         = "On the termination of Markov algorithms",
  Year          = "1970",
  File          = "On the termination of Markov algorithms - Manna, Ness (0) (0) - a - a - s.pdf"
}

@InProceedings{ MannaNess, Author = "Manna, Zohar and Ness, Steven", Address = "Honolulu, HI", BookTitle = "Proc. of the Third Hawaii International Conference on System Science", date-added = "2014-01-29 12:52:07 +0000", date-modified = "2014-01-29 12:52:47 +0000", Month = "January", Pages = "789--792", Title = "On the termination of Markov algorithms", Year = "1970", File = "On the termination of Markov algorithms - Manna, Ness (0) (0) - a - a - s.pdf" }