“…The method has been popularized by Degtyarev and Voronkov [6], who provide the general recipe to design forward calculi, with applications to Classical Predicate Logic and some non-classical logics. Further extensions can be found in [2,7,15]. A significant investigation is presented in [4,5], where focused calculi and polarization of formulas are exploited to reduce the search space in forward proof-search for Intuitionistic Logic.…”