@article{explainableglobalfairnessverificationof,
  title = {Explainable Global Fairness Verification of Tree-Based Classifiers},
  author = {Stefano Calzavara and Lorenzo Cazzaro and Claudio Lucchese and Federico Marcuzzi},
  year = {2022},
  eprint = {2209.13179},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2209.13179v1},
}