Title: Proving Propositional Tautologies in Natural Dialogue
Authors: O. Yaskorska, K. Budzyńska, M. Kacprzak
Journal: Fundamenta Informaticae (Lista JCR: 15 pkt; aktualny pięcioletni impact factor: 0,393)
Publication type: article
DOI: 10.3233/FI-2013-867