Early Validation of High-Level System Requirements with Event Calculus and Answer Set Programming - Vasicek, O; Arias, J; Fiedor, J; Gupta, G; Hall, B; Krena, B; Larson, B; Varanasi, SC; Vojnar, T (Theory And Practice Of Logic Programming, 2024)