@inproceedings{DBLP:conf/wlp/Schaub06,
  title = {Tableaux Calculi for Answer Set Programming},
  author = {Schaub, Torsten},
  booktitle = {{WLP}},
  pages = {1--11},
  publisher = {Technische Universit{\"{a}}t Wien, Austria},
  series = {{INFSYS} Research Report},
  volume = {1843-06-02},
  year = {2006}
}