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