DBLP Record 'conf/pepm/RamakrishnanRS95'

BibTeX

@inproceedings{DBLP:conf/pepm/RamakrishnanRS95,
  author    = {C. R. Ramakrishnan and
               I. V. Ramakrishnan and
               R. C. Sekar},
  title     = {A Symbolic Constraint Solving Framework for Analysis of
               Logic Programs},
  booktitle = {PEPM},
  year      = {1995},
  pages     = {12-23},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}