arXiv 2001-07-19 EN Propositional satisfiability in answer-set programming East, Deborah · Truszczynski, Miroslaw
