Fast Symbolic Evaluation of C/C++ Preprocessing Using Conditional Values
by Mario Latendresse
in Proc. of the 7th European Conference on Software Maintenance and Reengineering (CSMR) pp. 170-179,
