DBLP Record 'conf/wlp/Schaub06'

BibTeX

@inproceedings{DBLP:conf/wlp/Schaub06,
  author    = {Torsten Schaub},
  title     = {Tableaux Calculi for Answer Set Programming},
  booktitle = {WLP},
  year      = {2006},
  pages     = {1-11},
  ee        = {http://www.kr.tuwien.ac.at/wlp06/I01-final.ps.gz},
  crossref  = {DBLP:conf/wlp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/wlp/2006,
  editor    = {Michael Fink and
               Hans Tompits and
               Stefan Woltran},
  title     = {20th Workshop on Logic Programming, Vienna, Austria, February
               22--24, 2006},
  booktitle = {WLP},
  publisher = {Technische Universit{\"a}t Wien, Austria},
  series    = {INFSYS Research Report},
  volume    = {1843-06-02},
  year      = {2006},
  ee        = {http://www.kr.tuwien.ac.at/wlp06/proceedings.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}