We gratefully acknowledge support from
the Simons Foundation and member institutions.

No authors of 1609.03643 can endorse.

Reasoning about Graph Programs

Detlef Plump is not registered as an owner of this paper. (why?)