Bahar Aameri, Michael Grüninger: Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log. 24(1): 9:1-9:24 (2023)