The river Crişul Mic is a tributary of the Doba River in Romania . The Crişul Mic River is a tributary of the Doba River in Romania . The Doba River is a tributary of the Crişul Mic River in Romania .