DILSL

Definition: 
Dual Induction Log-SLS