@InProceedings{Shant:sara11, author = {Shant Karakashian and Robert J. Woodward and Berthe Y. Choueiry}, title = {{Reformulating R$(*,m)$C with Tree Decomposition}}, booktitle = {Ninth International Symposium on Abstraction, Reformulation and Approximation (SARA 2011)}, year = 2011, pages = {62--69}, publisher = {AAAI Press}, }