Grammar-based graph compression. (July 2018)