1.
Steen A, Benzm├╝ller C. Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. LLP [Internet]. 2016 Jul. 26 [cited 2024 May 26];25(4):535-54. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2016.021