On the relative complexity of labelled modal tableaux
scientific article; zbMATH DE number 6201775