Boeken over Computational pitfalls in tractable grammatical formalisms