Full Citation:
Simone Bova, Hubie Chen, Matthew Valeriote. On the Expression Complexity of Equivalence and Isomorphism of Primitive Positive Formulas. Theory Comput. Syst., volume 50, number 2, pages 329–353, 2012.