## Florent R. Madelaine, Barnaby Martin

*A Tetrachotomy for Positive First-Order Logic without Equality*

LICS, 2011.

@inproceedings{LICS-2011-MadelaineM, author = "Florent R. Madelaine and Barnaby Martin", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.27", isbn = "978-0-7695-4412-0", pages = "311--320", publisher = "{IEEE Computer Society}", title = "{A Tetrachotomy for Positive First-Order Logic without Equality}", year = 2011, }