@misc{indiciaea7e6c409db65,
  title = {Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis},
  author = {Francesco De Sclavis and Giuseppe Galano and Aldo Glielmo and Matteo Nardelli},
  year = {2025},
  url = {https://arxiv.org/abs/2412.15814},
  note = {Source identifier: 2412.15814}
}