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