Notice of Retraction: Computing R-contraction for Propositional Logic is Hard - Retraction Notice | RetractBase