BibTeX record journals/corr/cs-AI-0312053

download as .bib file

@article{DBLP:journals/corr/cs-AI-0312053,
  author       = {V. Wiktor Marek and
                  Jeffrey B. Remmel},
  title        = {On the Expressibility of Stable Logic Programming},
  journal      = {CoRR},
  volume       = {cs.AI/0312053},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0312053},
  timestamp    = {Fri, 10 Jan 2020 12:58:44 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0312053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics