A. Steen and C. Benzmüller, “Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic”, LLP, vol. 25, no. 4, pp. 535–554, Jul. 2016.