_id,doi,title
4571,10.1145/1250734.1250769,Path invariants
