@PhDThesis{Gui26,
    Author       = "Guilloud, S.",
    Year         = "2026",
    Title        = "{Interactive and Automated Reasoning with Orthologic}",
    School       = "EPFL",
    Address      = "Lausanne, Switzerland"
}