• An experimental pipeline for automated reasoning in natural language (short paper)Tammet, Tanel; Järv, Priit; Verrev, Martin; Draheim, DirkAutomated Deduction – CADE 29, 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023 : proceedings2023 / p. 509-521 https://doi.org/10.1007/978-3-031-38499-8_29 https://www.scopus.com/sourceid/25674 https://www.scopus.com/record/display.uri?eid=2-s2.0-85172178824&origin=inward&txGid=e3f85903ec6970d47780852bbabf4aa9 https://www.webofscience.com/wos/woscc/full-record/WOS:001156342400027
• Resolution, inverse method and the sequent calculusTammet, TanelComputational Logic and Proof Theory : 5th Kurt Gödel Colloquium, KGC'97 : Vienna, Austria, August 25-29, 1997 : proceedings1997 / p. 65-83 https://link.springer.com/content/pdf/10.1007/3-540-63385-5_33.pdf
• SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 https://www.scopus.com/sourceid/27836 https://www.scopus.com/record/display.uri?eid=2-s2.0-85173587757&origin=resultslist&sort=plf-f&src=s&sid=4cccad9163859ccf7ef58333a8773ab8&sot=b&sdt=b&s=TITLE%28%22SSProve%3A+A+Foundational+Framework+for+Modular+Cryptographic+Proofs+in+Coq%22%29&sl=82&sessionSearchId=4cccad9163859ccf7ef58333a8773ab8&relpos=0 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=ACM%20T%20PROGR%20LANG%20SYS&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:001066592300002