BibTeX record journals/logcom/StephanMN09

download as .bib file

@article{DBLP:journals/logcom/StephanMN09,
  author    = {Igor St{\'{e}}phan and
               Benoit Da Mota and
               Pascal Nicolas},
  title     = {From (Quantified) Boolean Formulae to Answer Set Programming},
  journal   = {J. Log. Comput.},
  volume    = {19},
  number    = {4},
  pages     = {565--590},
  year      = {2009}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics