@article{AFJV09a,
title = {{DATALOG_SOLVE: A Datalog-Based Demand-Driven Program Analyzer}},
author = {Alpuente, M. and Feli\'u, M.A. and Joubert, C. and Villanueva, A.},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {to appear},
year = 2009
}