Papers In progress: Dsquared: A Distributed and Differential Datalog Interpreter Shapiro Indexset In Proceedings: A Differential Datalog Interpreter Accepted: