@inproceedings{DBLP:conf/ijcai/Linke01, title = {Graph Theoretical Characterization and Computation of Answer Sets}, author = {Linke, Thomas}, booktitle = {{IJCAI}}, pages = {641--648}, publisher = {Morgan Kaufmann}, year = {2001} }