## Florent R. Madelaine, Barnaby Martin

*The Complexity of Positive First-order Logic without Equality*

LICS, 2009.

@inproceedings{LICS-2009-MadelaineM, author = "Florent R. Madelaine and Barnaby Martin", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.15", isbn = "978-0-7695-3746-7", pages = "429--438", publisher = "{IEEE Computer Society}", title = "{The Complexity of Positive First-order Logic without Equality}", year = 2009, }