1. Adelard: Claims Arguments Evidence. https://claimsargumentsevidence.org/
2. Adelard LLP: Assurance and Safety Case Environment. http://www.adelard.com/asce
3. Arias, J., Carro, M., Salazar, E., Marple, K., Gupta, G.: Constraint answer set programming without grounding. TPLP 18(3–4), 337–354 (2018)
4. Bloomfield, R., Netkatchova, K., Rushby, J.: Defeaters and Eliminative Argumentation in CLARISSA. arXiv preprint (2024). https://arxiv.org/abs/2405.15800
5. Bloomfield, R., Rushby, J.: Assurance 2.0: a manifesto. arXiv preprint (2021). https://arxiv.org/abs/2004.10474v3