Completeness of resolution for definite answersTammet, TanelJournal of logic and computation1995 / 4, p. 449-471

Optimized encodings of fragments of type theory in first-order logicTammet, Tanel; Smith, Jan M.Journal of logic and computation1998 / 6, p. 713-744

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS