Slides
- UNIF: Pascal Fontaine: Combinations of Theories for Decidable Fragments of First-Order Logic
- UNIF: Michael Franssen: Implementing Rigid E-Unification
- UNIF: Sunil Kothari, James Caldwell: A Machine Checked Model of MGU Axioms, Applications of Finite Maps and Functional Induction
- UNIF: Temur Kutsia, Mircea Marin: Order-Sorted Unification with Regular Expression Sorts
- UNIF: Siva Anantharaman, Hai Lin, Christopher Lynch, Paliath Narendran, Michael Rusinowitch: Cap Unification, Application to Protocol Security Modulo Homomorphic Encryption
- UNIF: Franz Baader, Barbara Morawska: Unification in the Description Logic EL
- UNIF: Enrica Nicolini, Christophe Ringeissen, Michael Rusinowitch: Decision Procedures for Data Structures Combined with Shared Fragments of Arithmetic
