Simone Bova Hubie Chen Matthew Valeriote Generic Expression Hardness Results for Primitive Positive Formula Comparison http://arxiv.org/abs/1205.5745 2012 CoRR abs/1205.5745 db/journals/corr/corr1205.html#abs-1205-5745