MesnardM92'

BibTeX

@inproceedings{DBLP:conf/sas/MesnardM92,
  author    = {Fr{\'e}d{\'e}ric Mesnard and
               Marianne Morillon},
  title     = {Automatic Generation of Valid Linear Measures for CLP(Q)
               Programs},
  booktitle = {WSA},
  year      = {1992},
  pages     = {29-34},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}