4 papers:
FoSSaCS-2014-Padovani #linear #re-engineering #recursion #π-calculus- Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types (LP), pp. 88–102.
DAC-2007-YeZL #optimisation #performance #power management #statistics #using- Statistical Leakage Power Minimization Using Fast Equi-Slack Shell Based Optimization (XY, YZ, PL), pp. 853–858.
TLCA-2007-Abel #induction #normalisation- Strong Normalization and Equi-(Co)Inductive Types (AA0), pp. 8–22.
SIGMOD-1988-MuralikrishnaD #multi #query- Equi-Depth Histograms For Estimating Selectivity Factors For Multi-Dimensional Queries (MM, DJD), pp. 28–36.
