CortesiF91'

BibTeX

@inproceedings{DBLP:conf/pepm/CortesiF91,
  author    = {Agostino Cortesi and
               Gilberto Fil{\'e}},
  title     = {Abstract Interpretation of Logic Programs: An Abstract Domain
               for Groundness, Sharing, Freeness and Compoundness Analysis},
  booktitle = {PEPM},
  year      = {1991},
  pages     = {52-61},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}