Статья

"Context-free grammars as a tool for describing polynomial-time subclasses of hard problems".