Design and Implementation of the LogicBlox System
Tiresias: the database oracle for how-to queries