Automated Proof Search in Intuitionistic Sentential Logic. - Didier Galmiche; Brandon Hornbeck; Daniel Méry (ARQNL@IJCAR, 2024)

Cut-free labelled calculi and decidability for intuitionistic sentential logic with identity. - Didier Galmiche; Brandon Hornbeck; Daniel Méry (J. Log. Comput., 2025)