This paper explores the substitution relationship between trade credit and bank credit, and its countercyclic dynamic pattern through economic cycles. We propose a new theoretical model, using a mechanism design method, which predicts the substitution between the two credits and its counter-cyclic behavior, subject to the condition of technological efficiency not less than one. This model also ...