A Tree Rewriting System for the Reflection Calculus. - Sofía Santiago-Fernández; Joost J. Joosten; David Fernández-Duque (AiML, 2024)

Specification languages for computational laws versus basic legal principles. - Petia Guintchev; Joost J. Joosten; Sofía Santiago-Fernández; Eric Sancho Adamson; Aleix Solé Sánchez; Marta Soria Heredia (CoRR, 2025)

Tree Rewriting Calculi for Strictly Positive Logics. - Sofía Santiago-Fernández; David Fernández-Duque; Joost J. Joosten (CoRR, 2025)