A Hierarchy of Backward Translations: Applications to Modal Logics.

Stéphane Demri A Hierarchy of Backward Translations: Applications to Modal Logics. 121-132 1995 WOCFAI db/conf/wocfai/wocfai1995.html#Demri95