@misc{indiciaea7442c8d7cf0,
  title = {Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach},
  author = {Alessio Cecconi and Luca Barbaro and Claudio Di Ciccio and Arik Senderovich},
  year = {2023},
  doi = {10.1016/j.is.2023.102312},
  url = {https://arxiv.org/abs/2305.05418},
  note = {Source identifier: 2305.05418}
}