Steen, A., and C. Benzmüller. “Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic”. Logic and Logical Philosophy, vol. 25, no. 4, July 2016, pp. 535-54, doi:10.12775/LLP.2016.021.