Generic Expression Hardness Results for Primitive Positive Formula Comparison.

Simone Bova, Hubie Chen, Matthew Valeriote

Browse the full ICALP paper archive.