Citation Formats
O. Akçelik and A. F. Zambak, “A Decision Procedure Model for Findingthe Missing Premise in Automated Reasoning,” presented at the Logic Colloquium 2017, 14 - 20 Ağustos 2017, Stockholm, İsveç, 2017, Accessed: 00, 2021. [Online]. Available: https://www.math-stockholm.se/polopoly_fs/1.745278!/LC2017book.pdf.