BibTeX record journals/aepia/AnsoteguiM03

download as .bib file

@article{DBLP:journals/aepia/AnsoteguiM03,
  author    = {Carlos Ans{\'{o}}tegui and
               Felip Many{\`{a}}},
  title     = {Una introducci{\'{o}}n a los algoritmos de satisfactibilidad},
  journal   = {Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial},
  volume    = {7},
  number    = {20},
  pages     = {43--56},
  year      = {2003},
  url       = {http://polar.lsi.uned.es/revista/index.php/ia/article/view/374},
  timestamp = {Tue, 24 Mar 2015 18:02:59 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aepia/AnsoteguiM03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}