@misc{indiciaebb24621ac7ec,
  title = {Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic},
  author = {Christoph Wernhard},
  year = {2017},
  url = {https://arxiv.org/abs/1712.06868},
  note = {Source identifier: 1712.06868}
}