{"citation":{"mla":"Wies, Thomas, et al. Combining Theories with Shared Set Operations. Springer, 2009, pp. 366–82, doi:1558.","short":"T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.","chicago":"Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. https://doi.org/1558.","ama":"Wies T, Piskac R, Kuncak V. Combining Theories with Shared Set Operations. In: Springer; 2009:366-382. doi:1558","ista":"Wies T, Piskac R, Kuncak V. 2009. Combining Theories with Shared Set Operations. FroCoS: Frontiers of Combining Systems, LNCS 5749, , 366–382.","apa":"Wies, T., Piskac, R., & Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer. https://doi.org/1558","ieee":"T. Wies, R. Piskac, and V. Kuncak, “Combining Theories with Shared Set Operations,” presented at the FroCoS: Frontiers of Combining Systems, 2009, pp. 366–382."},"page":"366 - 382","quality_controlled":0,"date_published":"2009-01-01T00:00:00Z","doi":"1558","conference":{"name":"FroCoS: Frontiers of Combining Systems"},"month":"01","day":"01","_id":"4360","year":"2009","publisher":"Springer","publication_status":"published","status":"public","title":"Combining Theories with Shared Set Operations","author":[{"first_name":"Thomas","last_name":"Wies","id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies"},{"full_name":"Piskac, Ruzica","last_name":"Piskac","first_name":"Ruzica"},{"full_name":"Kuncak, Viktor","last_name":"Kuncak","first_name":"Viktor"}],"date_created":"2018-12-11T12:08:27Z","date_updated":"2021-01-12T07:56:24Z","type":"conference","alternative_title":["LNCS 5749"],"publist_id":"1098","extern":1}