Simone Bova, Hubie Chen, Matthew Valeriote. Generic expression hardness results for primitive positive formula comparison. Inf. Comput., 222:108-120, 2013. [doi]
@article{BovaCV13, title = {Generic expression hardness results for primitive positive formula comparison}, author = {Simone Bova and Hubie Chen and Matthew Valeriote}, year = {2013}, doi = {10.1016/j.ic.2012.10.008}, url = {http://dx.doi.org/10.1016/j.ic.2012.10.008}, researchr = {https://researchr.org/publication/BovaCV13}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {222}, pages = {108-120}, }