@inproceedings{Seki89,
  title = {Unfold/Fold Transformation of Stratified Programs},
  author = {Hirohisa Seki},
  year = {1989},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/Seki89},
  cites = {0},
  citedby = {0},
  pages = {554-568},
  booktitle = {ICLP},
}