@misc{indiciae09bfce7d4360, title = {The complexity of positive first-order logic without equality}, author = {Florent Madelaine and Barnaby Martin}, year = {2010}, url = {https://arxiv.org/abs/1003.0802}, note = {Source identifier: 1003.0802} }