All Finitely Axiomatizable Normal Extensions of K4.3 are Decidable. - Michael Zakharyaschev; Alexander Alekseev (Math. Log. Q., 1995)