LeachNR97'

BibTeX

@inproceedings{DBLP:conf/slp/LeachNR97,
  author    = {Javier Leach and
               Susana Nieva and
               Mario Rodr\'{\i}guez-Artalejo},
  title     = {Constraint Logic Programming with Hereditary Harrop Formulas},
  booktitle = {ILPS},
  year      = {1997},
  pages     = {307-321},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}