@article{Bird80:Tabulation,
  title = "Tabulation Techniques for Recursive Programs",
  author = "Richard S. Bird",
  year = "1980",
  journal = "ACM Computing Surveys",
  month = "dec",
  note = "See \cite{DBLP:journals/csur/Bird81}",
  number = "4",
  pages = "403--417",
  volume = "12",
  doi = "10.1145/356827.356831",
}