@Article{         KarandikarSchnoebelen,
  Author        = "Karandikar, Prateek and Schnoebelen, Philippe",
  Abstract      = "The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining directness and codirectness in Post Embedding problems leads to undecidability.",
  date-added    = "2012-03-20 23:36:14 +0100",
  date-modified = "2013-11-13 21:54:25 +0000",
  EPrint        = "1109.1691v3",
  Keywords      = "Post embedding problem",
  Month         = "09",
  Title         = "Cutting Through Regular Post Embedding Problems",
  URL           = "http://arxiv.org/abs/1109.1691v3",
  Year          = "2011",
  bdsk-url-1    = "http://arxiv.org/abs/1109.1691v3",
  File          = "Cutting Through Regular Post Embedding Problems - Karandikar, Schnoebelen (0) (0) - a - a - k.pdf",
  file-2        = "Cutting Through Regular Post Embedding Problems - Karandikar, Schnoebelen (1) (0) - a - a - k.pdf"
}

@Article{ KarandikarSchnoebelen, Author = "Karandikar, Prateek and Schnoebelen, Philippe", Abstract = "The Regular Post Embedding Problem extended with partial (co)directness is shown decidable. This extends to universal and/or counting versions. It is also shown that combining directness and codirectness in Post Embedding problems leads to undecidability.", date-added = "2012-03-20 23:36:14 +0100", date-modified = "2013-11-13 21:54:25 +0000", EPrint = "1109.1691v3", Keywords = "Post embedding problem", Month = "09", Title = "Cutting Through Regular Post Embedding Problems", URL = "http://arxiv.org/abs/1109.1691v3", Year = "2011", bdsk-url-1 = "http://arxiv.org/abs/1109.1691v3", File = "Cutting Through Regular Post Embedding Problems - Karandikar, Schnoebelen (0) (0) - a - a - k.pdf", file-2 = "Cutting Through Regular Post Embedding Problems - Karandikar, Schnoebelen (1) (0) - a - a - k.pdf" }