Bi-colored expansions of geometric theories

Bi-colored expansions of geometric theories
Conference/Journal Name
ANNALS OF PURE AND APPLIED LOGIC
Article type
Journal