Laster...

Deductive Systems and the Decidability Problem for Hybrid Logics av Michal Zawidzki - Nelo