Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming - Arias, J; Chen, Z; Carro, M; Gupta, G (Lecture Notes In Computer Science, 2020)