General Equilibrium with Taxes: A Computational Procedure and an Existence Proof · Study