STEEN, Alexander and BENZMÜLLER, Christoph. Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. Logic and Logical Philosophy. Online. 26 July 2016. Vol. 25, no. 4, pp. 535-554. [Accessed 17 July 2024]. DOI 10.12775/LLP.2016.021.