A Tetrachotomy for Positive First-Order Logic without Equality.

Florent R. Madelaine, Barnaby Martin

Browse the full LICS paper archive.