TY  - RPRT
TI  - Colored E-Graph: Equality Reasoning with Conditions
AU  - Eytan Singher
AU  - Shachar Itzhaky
PY  - 2023
UR  - https://arxiv.org/abs/2305.19203
ID  - 2305.19203
ER  -