This paper suggests a framework to analyze the efficiency properties of bankruptcy procedures, distinguishing between ex-ante and ex-post efficiency. Ex-post efficiency consists in maximizing the ex-post value of the insolvent firm, whereas ex-ante efficiency consists in maximizing the proceeds...