Fast Parallel Equivalence Relations in a Datalog Compiler. - Patrick Nappa; David Zhao 001; Pavle Subotic; Bernhard Scholz (PACT, 2019)