@misc{indiciaea7461f10f2c3,
  title = {Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming},
  author = {Ondřej Vašíček and Joaquin Arias and Jan Fiedor and Gopal Gupta and Brendan Hall and Bohuslav Křena and Brian Larson and Sarat Chandra Varanasi and Tomáš Vojnar},
  year = {2024},
  url = {https://arxiv.org/abs/2408.09909},
  note = {Source identifier: 2408.09909}
}