DBLP Record 'phd/Narain88'

BibTeX

@phdthesis{DBLP:phd/Narain88,
  author    = {Sanjai Narain},
  title     = {LOG(F): An Optimal Combination of Logic Programming, Rewriting
               and Lazy Evaluation},
  year      = {1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}