other,34-4-P99-1058,ak in the <term> subset </term> possess a <term> CTL translation </term> . This paper presents a new method
hide detail