implement complete support sets for query answering over ASP programs
implement complete support sets for query answering over ASP programs