@inproceedings{AFJV09b,
title = {{Using Datalog and Boolean Equation Systems for Program Analysis}},
author = {Alpuente, M. and Feli\'u, M.A. and Joubert, C. and Villanueva, A.},
booktitle = {13rd International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2008)},
series = {Lecture Notes in Computer Science},
volume = {5596},
pages = {to appear},
year = 2009
}