A dynamic programming approach to categorial deduction