Steen, Alexander, and Christoph Benzmüller. “Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic”. Logic and Logical Philosophy 25, no. 4 (July 26, 2016): 535–554. Accessed April 18, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2016.021.