Silvija Seres, J. Michael Spivey
Higher-order transformation of logic programs
LOPSTR, 2000.
@inproceedings{LOPSTR-2000-SeresS,
author = "Silvija Seres and J. Michael Spivey",
booktitle = "{Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation}",
ee = "http://apt.cs.manchester.ac.uk/ftp/pub/TR/UMCS-00-6-1-seres.ps.Z",
publisher = "{Department of Computer Science, University of Manchester}",
series = "{Technical Report}",
title = "{Higher-order transformation of logic programs}",
volume = "UMCS-00-6-1",
year = 2000,
}