Simone Bova, Hubie Chen, Matthew Valeriote. On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst., 50(2):329-353, 2012. [doi]
@article{BovaCV12, title = {On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas}, author = {Simone Bova and Hubie Chen and Matthew Valeriote}, year = {2012}, doi = {10.1007/s00224-010-9302-7}, url = {http://dx.doi.org/10.1007/s00224-010-9302-7}, researchr = {https://researchr.org/publication/BovaCV12}, cites = {0}, citedby = {0}, journal = {Theory Comput. Syst.}, volume = {50}, number = {2}, pages = {329-353}, }