Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems | Publicación