@InProceedings{   Ong:LATA13,
  Author        = "Ong, Luke",
  BookTitle     = "LATA'13",
  date-added    = "2013-06-12 09:06:26 +0000",
  date-modified = "2013-12-11 14:13:16 +0000",
  Keywords      = "higher-order recursive schemes",
  Title         = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking",
  Year          = "2013",
  File          = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking - Ong (2) (0) - a - a - h.pdf",
  file-2        = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking - Ong (0) (0) - a - a - h.pdf"
}

@InProceedings{ Ong:LATA13, Author = "Ong, Luke", BookTitle = "LATA'13", date-added = "2013-06-12 09:06:26 +0000", date-modified = "2013-12-11 14:13:16 +0000", Keywords = "higher-order recursive schemes", Title = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking", Year = "2013", File = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking - Ong (2) (0) - a - a - h.pdf", file-2 = "Recursion Schemes, Collapsible Pushdown Automata and Higher-Order Model Checking - Ong (0) (0) - a - a - h.pdf" }