Steen, A.; Benzmüller, C. Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. LLP 2016, 25, 535-554.