Bi-colored expansions of geometric theories. - S. Jalili; M. Pourmahdian; M. Khani (Ann. Pure Appl. Log., 2025)