Logimix: A Self-Applicable Partial Evaluator for Prolog

Torben Æ. Mogensen, Anders Bondorf. Logimix: A Self-Applicable Partial Evaluator for Prolog. In LOPSTR. pages 214-227, 1992.

@inproceedings{MogensenB92,
  title = {Logimix: A Self-Applicable Partial Evaluator for Prolog},
  author = {Torben Æ. Mogensen and Anders Bondorf},
  year = {1992},
  tags = {Prolog, partial evaluation},
  researchr = {https://researchr.org/publication/MogensenB92},
  cites = {0},
  citedby = {0},
  pages = {214-227},
  booktitle = {LOPSTR},
}