@misc{indiciaead1b0b8af98d,
  title = {A Proof System with Causal Labels (Part I): checking Individual Fairness and Intersectionality},
  author = {Leonardo Ceragioli and Giuseppe Primiero},
  year = {2025},
  url = {https://arxiv.org/abs/2507.14650},
  note = {Source identifier: 2507.14650}
}