Synthetic Tableaux: Minimal Tableau Search Heuristics. - Michal Sochanski; Dorota Leszczynska-Jasion; Szymon Chlebowski; Agata Tomczyk; Marcin Jukiewicz (IJCAR, 2022)

Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus. - Agata Tomczyk; Dorota Leszczynska-Jasion (NCL, 2022)

Natural Deduction Systems for Intuitionistic Logic with Identity. - Szymon Chlebowski; Marta Gawek; Agata Tomczyk (Stud Logica, 2022)