Stem intron$ (all stems)
2 papers:
DATE-2006-McConaghyG #canonical #modelling #performance- Double-strength CAFFEINE: fast template-free symbolic modeling of analog circuits via implicit canonical form functions and explicit introns (TM, GGEG), pp. 269–274.
SAC-1999-Taylor #finite #induction #pattern matching #using- Exon/Intron Discrimination Using the Finite Induction Pattern Matching Technique (PAT), pp. 41–45.