Steen, A., & Benzmüller, C. (2016). Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. Logic and Logical Philosophy, 25(4), 535–554. https://doi.org/10.12775/LLP.2016.021