BibTeX record conf/aadebug/BuenoDDFHMP97

download as .bib file

  author    = {Francisco Bueno and
               Pierre Deransart and
               Wlodzimierz Drabent and
               G{\'{e}}rard Ferrand and
               Manuel V. Hermenegildo and
               Jan Maluszynski and
               Germ{\'{a}}n Puebla},
  title     = {On the Role of Semantic Approximations on Validation and Diagnosis
               of Contraint Logic Programs},
  booktitle = {{AADEBUG}},
  pages     = {155--169},
  year      = {1997},
  url       = {\&article=013},
  timestamp = {Tue, 20 Feb 2018 10:58:30 +0100},
  biburl    = {},
  bibsource = {dblp computer science bibliography,}
maintained by Schloss Dagstuhl LZI, founded at University of Trier