CodishDFB93'

BibTeX

@inproceedings{DBLP:conf/iclp/CodishDFB93,
  author    = {Michael Codish and
               Dennis Dams and
               Gilberto Fil{\'e} and
               Maurice Bruynooghe},
  title     = {Freeness Analysis for Logic Programs - And Correctness?},
  booktitle = {ICLP},
  year      = {1993},
  pages     = {116-131},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}