Li, C.M., ManyĆ , F., Soler, J.R., 2019. A Tableau Calculus for Non-clausal Maximum Satisfiability, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-030-29026-9_4