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