TY  - RPRT
TI  - Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
AU  - Christoph Wernhard
PY  - 2017
UR  - https://arxiv.org/abs/1712.06868
ID  - 1712.06868
ER  -