@InProceedings{   RamsayNeatherwayOng,
  Author        = "Ramsay, Steven James and Neatherway, Robin P. and Ong, Chih-Hao Luke",
  BookTitle     = "HOPA",
  date-added    = "2013-07-16 14:55:39 +0000",
  date-modified = "2013-07-16 14:56:33 +0000",
  Keywords      = "higher-order recursive schemes",
  Title         = "An Abstraction Refinement Approach to Higher-Order Model Checking",
  Year          = "2013",
  bdsk-url-1    = "http://mjolnir.cs.ox.ac.uk/web/preface/",
  File          = "An Abstraction Refinement Approach to Higher-Order Model Checking - Ramsay, Neatherway, Ong (0) (0) - a - a - x.pdf"
}

@InProceedings{ RamsayNeatherwayOng, Author = "Ramsay, Steven James and Neatherway, Robin P. and Ong, Chih-Hao Luke", BookTitle = "HOPA", date-added = "2013-07-16 14:55:39 +0000", date-modified = "2013-07-16 14:56:33 +0000", Keywords = "higher-order recursive schemes", Title = "An Abstraction Refinement Approach to Higher-Order Model Checking", Year = "2013", bdsk-url-1 = "http://mjolnir.cs.ox.ac.uk/web/preface/", File = "An Abstraction Refinement Approach to Higher-Order Model Checking - Ramsay, Neatherway, Ong (0) (0) - a - a - x.pdf" }