Bi-colored expansions of geometric theories - doi 10.1016/j.apal.2024.103525 2025-02 Article type Journal