@article{hopkins09,
  title = "Homer: A Higher-order Observational equivalence Model checkER",
  author = "David Hopkins and Luke Ong",
  year = "2009",
  journal = "CAV 09",
}