tech,18-2-E99-1038,ak </term> is introduced enabling the <term> decomposition </term> and <term> formal representation </term>
hide detail