DOI,IST REx ID,Research Group,Title of publication
10.1137/1.9781611975031.151,310,KrCh,"Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter"