DMCA

Effectively-Propositional Reasoning about Reachability in Linked Data Structures ⋆

by Shachar Itzhaky , Anindya Banerjee , Neil Immerman , Ar Nanevski , Mooly Sagiv
Citations:9 - 2 self