DBLP Record 'journals/jflp/Hamana97'

BibTeX

@article{DBLP:journals/jflp/Hamana97,
  author    = {Makoto Hamana},
  title     = {Equivalence of the Quotient Term Model and the Least Complete
               Herbrand Model for a Functional Logic Language},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {1997},
  number    = {1},
  year      = {1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}