DBLP Record 'journals/jflp/Garcia-DiazN03'

BibTeX

@article{DBLP:journals/jflp/Garcia-DiazN03,
  author    = {Miguel Garc\'{\i}a-D\'{\i}az and
               Susana Nieva},
  title     = {Solving Constraints for an Instance of an Extended CLP Language
               over a Domain Based on Real Numbers and Herbrand Terms},
  journal   = {Journal of Functional and Logic Programming},
  volume    = {2003},
  year      = {2003},
  ee        = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/2003/S03-01/JFLP-A03-02/rhjflp.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}