A Deletion Algorithm for the Marginal Problem in Propositional Logic Based on Boolean Arrays | Publicación