Bi-colored expansions of geometric theories - doi 10.1016/j.apal.2024.103525 Date : 1403-11 Article type Journal