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

Giovanni Amendola Bernardo Cuteri Francesco Ricca Mirek Truszczynski Solving Problems in the Polynomial Hierarchy with ASP(Q). 373-386 2022 LPNMR https://doi.org/10.1007/978-3-031-15707-3_29 conf/lpnmr/2022 db/conf/lpnmr/lpnmr2022.html#AmendolaCRT22