Is There a Best Symbolic Cycle-Detection Algorithm?

Kathi Fisler, Ranan Fraer, Gila Kamhi, Moshe Y. Vardi, Zijiang Yang

Browse the full TACAS paper archive.