A Tableau Calculus for Signed Maximum Satisfiability | IEEE Conference Publication | IEEE Xplore