• Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-85101209607&origin=inward&txGid=45c295cc30341949924cd0b96b4a6bdf https://www.webofscience.com/wos/woscc/full-record/WOS:001035994800003
• Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y https://www.scopus.com/sourceid/144951 https://www.scopus.com/record/display.uri?eid=2-s2.0-85006387005&origin=inward&txGid=4bd3baf46af92218b70cc2e4ed091c56 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=STUD%20LOGICA&year=2017 https://www.webofscience.com/wos/woscc/full-record/WOS:000401436800008
• Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooriaWan, Cheng-Syuan2025 https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392 https://www.ester.ee/record=b5752421*est https://doi.org/10.23658/taltech.43/2025
• 21st International Conference on Types for Proofs and Programs : TYPES 2015, May 18-21, 2015, Tallinn, Estonia [Online resource]2018 http://doi.org/10.4230/lipics.types.2015.0 http://www.dagstuhl.de/dagpub/978-3-95977-030-9
• 21st International Conference on Types for Proofs and Programs, TYPES 2015 : Tallinn, Estonia, 18-21 May 2015 : abstracts2015 http://www.ester.ee/record=b4473137*est