Higher-Order Transformation of Logic Programs

@inproceedings{Seres2000HigherOrderTO,
  title={Higher-Order Transformation of Logic Programs},
  author={Silvija Seres and J. Michael Spivey},
  booktitle={LOPSTR},
  year={2000}
}
BETA