Frameworks for Reasoning about Syntax that Utilize Quotation and Evaluation. - William M. Farmer; Pouya Larjani (CoRR, 2013)