Graph Queries in a Next-Generation Datalog System
Greedy Algorithms in Datalog