Typed Ordered Resolution. - Adnan Mohammed Ahmed; Balázs Tóth (Arch. Formal Proofs, 2025)