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