DumortierJBC93'

BibTeX

@inproceedings{DBLP:conf/iclp/DumortierJBC93,
  author    = {Veroniek Dumortier and
               Gerda Janssens and
               Maurice Bruynooghe and
               Michael Codish},
  title     = {Freeness Analysis in the Presence of Numerical Constraints},
  booktitle = {ICLP},
  year      = {1993},
  pages     = {100-115},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}