TY - GEN AU - Yitzhaki,Shlomo TI - A tax programming model ER -