@misc{indiciae22f462d5a9bc,
  title = {The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version},
  author = {Christoph Wernhard},
  year = {2025},
  doi = {10.1007/978-3-319-66167-4\_19},
  url = {https://arxiv.org/abs/1706.08329},
  note = {Source identifier: 1706.08329}
}