Duality between Unprovability and Provability in Forward Refutation-search for Intuitionistic Propositional Logic Article in ACM Transactions on Computational Logic (March 2020)