A proof-theoretic study of the correspondence of hybrid logic and classical logic
scientific article; zbMATH DE number 5532516