Steen, Alexander, and Christoph Benzmüller. 2016. “Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic”. Logic and Logical Philosophy 25 (4):535-54. https://doi.org/10.12775/LLP.2016.021.