%0 Conference Proceedings %A Mario Latendresse %T Rewrite Systems for Symbolic Evaluation of C-like Preprocessing %B Proceedings of CSMR’04 %P 165-173 %D 2004 %U http://www.ai.sri.com/pubs/files/1785.pdf