COMIDOR: Cooperative Mining of Independent Document Repositories (2008-2013)