BibTeX record conf/dagstuhl/MarekR05

download as .bib file

@inproceedings{DBLP:conf/dagstuhl/MarekR05,
  author    = {Victor W. Marek and
               Jeffrey B. Remmel},
  title     = {Normal Form Theorem for Logic Programs with Cardinality Constraints},
  booktitle = {Nonmonotonic Reasoning, Answer Set Programming and Constraints},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {05171},
  publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
               (IBFI), Schloss Dagstuhl, Germany},
  year      = {2005}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics