On the Strength of Uniqueness Quantification in Primitive Positive Formulas.

Victor Lagerkvist, Gustav Nordh

Browse the full MFCS paper archive.