Time Warps, from Algebra to Algorithms. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (RAMiCS, 2021)

Interpolation and the Exchange Rule. - Wesley Fussner; George Metcalfe; Simon Santschi (CoRR, 2023)

Deciding Equations in the Time Warp Algebra. - Sam van Gool; Adrien Guatto; George Metcalfe; Simon Santschi (Log. Methods Comput. Sci., 2024)

Interpolation in Linear Logic and Related Systems. - Wesley Fussner; Simon Santschi (ACM Trans. Comput. Log., 2024)

Interpolation in Hájek's basic logic. - Wesley Fussner; Simon Santschi (Ann. Pure Appl. Log., 2025)

Algebraic Proof Theory for Infinitary Action Logic. - Wesley Fussner; Simon Santschi; Borja Sierra-Miranda (CoRR, 2025)