Labelled calculi for quantified modal logics with definite descriptions
scientific article; zbMATH DE number 7398777