The Complexity of Positive First-Order Logic without Equality II: The Four-Element Case.

Barnaby Martin, Jos Martin

Browse the full CSL paper archive.