@inproceedings{paper13,
  title = "Partial evaluation and {MIX} compilation in {PROLOG}",
  author = "D. Fuller and S. Abramsky",
  year = "1988",
  booktitle = "New Generation Computing",
  pages = "119-143",
  volume = "6",
}