@article{Yi06,
  author = "Kwangkeun Yi",
  title = "``Proof-Directed Debugging'' Revisited for a First-Order Version",
  journal = "Journal of Functional Programming",
  volume = "16",
  number = "06",
  pages = "663--670",
  year = "2006"
}