--- res: bibo_authorlist: - foaf_Person: foaf_givenName: Thomas foaf_name: Thomas Wies foaf_surname: Wies foaf_workInfoHomepage: http://www.librecat.org/personId=447BFB88-F248-11E8-B48F-1D18A9856A87 - foaf_Person: foaf_givenName: Ruzica foaf_name: Piskac, Ruzica foaf_surname: Piskac - foaf_Person: foaf_givenName: Viktor foaf_name: Kuncak, Viktor foaf_surname: Kuncak bibo_doi: '1558' dct_date: 2009^xs_gYear dct_publisher: Springer@ dct_title: Combining Theories with Shared Set Operations@ ...