María Alpuente Marco A. Feliú Christophe Joubert Alicia Villanueva Using Datalog and Boolean Equation Systems for Program Analysis. 215-231 2008 FMICS http://dx.doi.org/10.1007/978-3-642-03240-0_18 conf/fmics/2008 db/conf/fmics/fmics2008.html#AlpuenteFJV08