@Article{         ChatterjeeChaubalKamath,
  Author        = "Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish",
  date-added    = "2013-10-28 12:14:59 +0000",
  date-modified = "2013-10-28 12:15:09 +0000",
  EPrint        = "1201.4449",
  Month         = "01",
  Title         = "Faster Algorithms for Alternating Refinement Relations",
  URL           = "http://arxiv.org/abs/1201.4449",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1201.4449",
  File          = "Faster Algorithms for Alternating Refinement Relations - Chatterjee, Chaubal, Kamath (0) (0) - a - a - w.pdf",
  file-2        = "Faster Algorithms for Alternating Refinement Relations - Chatterjee, Chaubal, Kamath (1) (0) - a - a - w.pdf"
}

@Article{ ChatterjeeChaubalKamath, Author = "Chatterjee, Krishnendu and Chaubal, Siddhesh and Kamath, Pritish", date-added = "2013-10-28 12:14:59 +0000", date-modified = "2013-10-28 12:15:09 +0000", EPrint = "1201.4449", Month = "01", Title = "Faster Algorithms for Alternating Refinement Relations", URL = "http://arxiv.org/abs/1201.4449", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1201.4449", File = "Faster Algorithms for Alternating Refinement Relations - Chatterjee, Chaubal, Kamath (0) (0) - a - a - w.pdf", file-2 = "Faster Algorithms for Alternating Refinement Relations - Chatterjee, Chaubal, Kamath (1) (0) - a - a - w.pdf" }