tech,11-1-E93-1004,ak modal language LT </term> for imposing <term> constraints </term> on <term> trees </term> , and an extension
hide detail