Controlled Bidirectional Grammars

Add text here…