@misc{DeGiacomo2026StrategicReasoningABPM,
  title = "A Formal Framework for Strategic Reasoning in Agentic Business Process Management",
  author = "Giuseppe De Giacomo and Timotheus Kampik and Lukas Kirchdorfer and Marco Montali and Christoph Weinhuber",
  year = "2026",
  howpublished = "Overlay 2026",
  note = "ArXiv version entitled ``Formal Foundations of Agentic Business Process Management''",
}