DOI,IST REx ID,Title of publication
10.1007/978-3-642-04222-5_23,4360,Combining theories with shared set operations