DBLP Record 'conf/lpe/NavasBH05'

BibTeX

@inproceedings{DBLP:conf/lpe/NavasBH05,
  author    = {Jorge Navas and
               Francisco Bueno and
               Manuel V. Hermenegildo},
  title     = {A Study of Set-Sharing Analysis via Clique},
  booktitle = {WLPE},
  year      = {2005},
  pages     = {31-45},
  ee        = {http://arxiv.org/abs/cs.LO/0508112},
  crossref  = {DBLP:conf/lpe/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lpe/2005,
  editor    = {Alexander Serebrenik and
               Susana Mu{\~n}oz-Hern{\'a}ndez},
  title     = {Proceedings of the 15th International Workshop on Logic
               Programming Environments, Sitges (Barcelona), October 5,
               2005},
  booktitle = {WLPE},
  year      = {2005},
  ee        = {http://arxiv.org/html/cs.PL/0508078},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}