@inproceedings{Liu&99,
  author = "Yanhong A. Liu and Scott D. Stoller",
  title = "Dynamic Programming via Static Incrementalization",
  booktitle = "Proc.\ European Symposium on Programming (ESOP)",
  year = 1999,
  month = mar,
  series="Lecture Notes in Computer Science",
  volume=1576,
  pages="288-305",
  publisher="Springer-Verlag"
}