Solving Problems in the Polynomial Hierarchy with ASP(Q).

Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski

Browse the full LPNMR paper archive.