Theory -- STRIP: Structural Sharing for Efficient Proof-Search -- RACER System