Incremental cycle detection
Incremental cycle detection based on [1] and [2].
References
- [1] Formal Proof and Analysis of an Incremental Cycle Detection Algorithm. 2019. https://doi.org/10.4230/LIPIcs.ITP.2019.18
- [2] A New Approach to Incremental Cycle Detection and Related Problems. 2015. https://doi.org/10.1145/2756553