Reducible Theories and Amalgamations of Models

Bahar Aameri, Michael GrĂ¼ninger. Reducible Theories and Amalgamations of Models. ACM Trans. Comput. Log., 24(1), January 2023. [doi]

Abstract

Abstract is missing.