Kybernetika 17 no. 5, 368-379, 1981

Validity test for Floyd's operator-precedence parsing algorithms is polynomial in time