Alternative translation techniques for propositional and first-order modal logics
scientific article; zbMATH DE number 1784337