Sprinz. A Brief Introduction to First-order Logic Unification at the Example of Corbin and Bidoit's Variation of Robinson's Unification Algorithm. LMU Munich, 16 Sept. 2021.