@misc{indiciae89bd30125c00,
  title = {Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three},
  author = {Barnaby Martin},
  year = {2008},
  url = {https://arxiv.org/abs/0808.0647},
  note = {Source identifier: 0808.0647}
}