We propose a double auction mechanism for the exchange of leveraged assets and bonds in an agent based model. In this framework we validate recent results in general equilibrium theory about endogenous leverage and its consequences for asset pricing. We find that the institutional details of...