An Exact Analytical Grossing-Up Algorithm for Tax-Benefit Models. IJCAI 2015, 39 (1).