Steen, Alexander, and Christoph 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.