@article{BovaChenValeriote13,
 author = {Simone Bova and
Hubie Chen and
Matthew Valeriote},
 journal = {Inf. Comput.},
 pages = {108--120},
 title = {Generic expression hardness results for primitive positive formula
comparison},
 volume = {222},
 year = {2013}
}