@Article{         Padovani,
  Author        = "Padovani, Vincent",
  Abstract      = "This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class of a minimal model.",
  date-added    = "2013-02-19 16:55:18 +0000",
  date-modified = "2013-02-19 16:55:38 +0000",
  EPrint        = "1210.3599",
  Keywords      = "higher-order matching",
  Month         = "10",
  Title         = "Decidability of All Minimal Models (Revised Version - 2012)",
  URL           = "http://arxiv.org/abs/1210.3599",
  Year          = "2012",
  bdsk-url-1    = "http://arxiv.org/abs/1210.3599",
  File          = "Decidability of All Minimal Models (Revised Version - 2012) - Padovani (1) (0) - a - a - w.pdf",
  file-2        = "Decidability of All Minimal Models (Revised Version - 2012) - Padovani (0) (0) - a - a - w.pdf"
}

@Article{ Padovani, Author = "Padovani, Vincent", Abstract = "This unpublished note is an alternate, shorter (and hopefully more readable) proof of the decidability of all minimal models. The decidability follows from a proof of the existence of a cellular term in each observational equivalence class of a minimal model.", date-added = "2013-02-19 16:55:18 +0000", date-modified = "2013-02-19 16:55:38 +0000", EPrint = "1210.3599", Keywords = "higher-order matching", Month = "10", Title = "Decidability of All Minimal Models (Revised Version - 2012)", URL = "http://arxiv.org/abs/1210.3599", Year = "2012", bdsk-url-1 = "http://arxiv.org/abs/1210.3599", File = "Decidability of All Minimal Models (Revised Version - 2012) - Padovani (1) (0) - a - a - w.pdf", file-2 = "Decidability of All Minimal Models (Revised Version - 2012) - Padovani (0) (0) - a - a - w.pdf" }