Automating Semantic Analysis of System Assurance Cases Using Goal-Directed ASP - Murugesan, A; Wong, I; Arias, J; Stroud, R; Varadarajan, S; Salazar, E; Gupta, G; Bloomfield, R; Rushby, J (Theory And Practice Of Logic Programming, 2024)