Thoma Bravo to Sell Kofax, Provider of Business-Workflow Solutions