BruynoogheSM91'

BibTeX

@inproceedings{DBLP:conf/slp/BruynoogheSM91,
  author    = {Maurice Bruynooghe and
               Danny De Schreye and
               Bern Martens},
  title     = {A General Criterion for Avoiding Infinite Unfolding During
               Partial Deduction of Logic Programs},
  booktitle = {ISLP},
  year      = {1991},
  pages     = {117-131},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}