DBLP Record 'conf/lopstr/SeresS00'

BibTeX

@inproceedings{DBLP:conf/lopstr/SeresS00,
  author    = {Silvija Seres and
               J. Michael Spivey},
  title     = {Higher-order transformation of logic programs},
  booktitle = {LOPSTR},
  year      = {2000},
  ee        = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-seres.ps.Z},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}