@misc{indiciaeba7d06461f86,
  title = {Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP},
  author = {Anitha Murugesan and Isaac Wong and Joaquín Arias and Robert Stroud and Srivatsan Varadarajan and Elmer Salazar and Gopal Gupta and Robin Bloomfield and John Rushby},
  year = {2024},
  doi = {10.1017/s1471068424000425},
  url = {https://arxiv.org/abs/2408.11699},
  note = {Source identifier: 2408.11699}
}