Generic expression hardness results for primitive positive formula comparison

Bova, Simone; Chen, Hubie; Valeriote, Matthew

by Simone Bova, Hubie Chen, Matthew Valeriote

Reference:

Generic expression hardness results for primitive positive formula comparisonSimone Bova, Hubie Chen, Matthew ValerioteInf. Comput., volume 222, pages 108–120, 2013.

Bibtex Entry:

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