1. Preface

   • Temur Kutsia
   • Andrew M. Marshall

   EditorialNotes 22 April 2022 Pages: 453 - 454

2. Functions-as-constructors higher-order unification: extended pattern unification

   • Tomer Libal
   • Dale Miller

   S704: Unification - UNIF 2020 Open access 30 September 2021 Pages: 455 - 479

3. About the unification type of \(\mathbf {K}+\square \square \bot \)

   • Philippe Balbiani
   • Çiğdem Gencer
   • Tinko Tinchev

   S704: Unification - UNIF 2020 01 September 2021 Pages: 481 - 497

4. Order-sorted equational generalization algorithm revisited

   • María Alpuente
   • Santiago Escobar
   • Julia Sapiña

   OriginalPaper 25 September 2021 Pages: 499 - 522

5. The undecidability of proof search when equality is a logical connective

   • Dale Miller
   • Alexandre Viel

   OriginalPaper 03 July 2021 Pages: 523 - 535