Văn bản này: On computational tractability for rational verification