@inproceedings{Proebsting97,
  title = {Simple Translation of Goal-Directed Evaluation},
  author = {Todd A. Proebsting},
  year = {1997},
  tags = {translation},
  researchr = {https://researchr.org/publication/Proebsting97},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {PLDI},
}