Undecidability of first-order intuitionistic and modal logics with two variables (0)

by R Kontchakov, A Kurucz, M Zakharyaschev
Venue:Bulletin of Symbolic Logic 11 (2005