Unification in Pretabular Extensions of S4

Stepan I. Bashmakov. Unification in Pretabular Extensions of S4. Logica Universalis, 15(3):381-397, 2021. [doi]

Abstract

Abstract is missing.