%0 Conference Proceedings
%F Pinchinat2010a
%A Bozzelli, Laura
%A Pinchinat, Sophie
%A Legay, Axel
%T Hardness of preorder checking for basic formalisms
%B Proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-16
%V 6355
%S Lecture Notes in Articifial Intellingence
%I Springer
%C Dakar, Senegal
%D 2010