Alpuente, et al.. DATALOG_SOLVE: A Datalog-based Demand-driven Program Analyzer. Elsevier BV, 2009, doi:10.1016/j.entcs.2009.07.059.