Hardness of preorder checking for basic formalisms | Publicación