BOZZANO, Marco, Alessandro CIMATTI, Alberto GRIGGIO,
Martin JONÁŠ and Greg KIMBERLY. Analysis of Cyclic Fault Propagation via ASP. In Gottlob, G., Inclezan, D., Maratea, M.
Logic Programming and Nonmonotonic Reasoning. LPNMR 2022. Cham: Springer, 2022, p. 470-483. ISBN 978-3-031-15706-6. Available from: https://dx.doi.org/10.1007/978-3-031-15707-3_36.