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