European Union (EU) leaders on Thursday agreed to speed up efforts to strengthen the bloc's single market, with enhanced cooperation among at least nine member states possible if progress stalls, European Council President Antonio Costa and European Commission President Ursula von der Leyen said.