BibTeX record conf/icai/MikitiukMT07

download as .bib file

@inproceedings{DBLP:conf/icai/MikitiukMT07,
  author    = {Artur Mikitiuk and
               Eric Moseley and
               Miroslaw Truszczynski},
  title     = {Towards Debugging of Answer-Set Programs in the Language PSpb},
  booktitle = {Proceedings of the 2007 International Conference on Artificial Intelligence,
               {ICAI} 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, {USA}},
  pages     = {635--640},
  year      = {2007},
  crossref  = {DBLP:conf/icai/2007-2},
  timestamp = {Fri, 06 Feb 2009 14:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icai/MikitiukMT07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icai/2007-2,
  editor    = {Hamid R. Arabnia and
               Mary Qu Yang and
               Jack Y. Yang},
  title     = {Proceedings of the 2007 International Conference on Artificial Intelligence,
               {ICAI} 2007, Volume II, June 25-28, 2007, Las Vegas, Nevada, {USA}},
  publisher = {{CSREA} Press},
  year      = {2007},
  isbn      = {1-60132-024-8},
  timestamp = {Fri, 06 Feb 2009 14:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icai/2007-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics