Generic expression hardness results for primitive positive formula comparison | Publicación