TY  - RPRT
TI  - Bluebell: An Alliance of Relational Lifting and Independence For Probabilistic Reasoning
AU  - Jialu Bao
AU  - Emanuele D'Osualdo
AU  - Azadeh Farzan
PY  - 2024
DO  - 10.1145/3704894
UR  - https://arxiv.org/abs/2402.18708
ID  - 2402.18708
ER  -