tech,6-1-E93-1004,ak </term> . In this paper we introduce a <term> modal language LT </term> for imposing <term> constraints </term>
hide detail