Finkbeiner, Bernd, and Andrey Kupriyanov. “Causality-Based Model Checking.”https://doi.org/10.4204/EPTCS.259.3__In Electronic Proceedings in Theoretical Computer Science, 259:31–38. Open Publishing Association, 2017.https://doi.org/10.4204/EPTCS.259.3 .
LibreCat: https://research-explorer.ista.ac.at/record/549
DOI: 10.4204/EPTCS.259.3

Daca, Przemyslaw, Thomas A Henzinger, and Andrey Kupriyanov. “Array Folds Logic,”https://doi.org/10.1007/978-3-319-41540-6_13__9780:230–48. Springer, 2016.https://doi.org/10.1007/978-3-319-41540-6_13 .
LibreCat: https://research-explorer.ista.ac.at/record/1391
DOI: 10.1007/978-3-319-41540-6_13