Hardness of preorder checking for basic formalisms. - Bozzelli, Laura; Legay, Axel; Pinchinat, Sophie (Theor. Comput. Sci., 2011)