Hardness of preorder checking for basic formalisms
scientific article; zbMATH DE number 5987005