L
T
L
LTL
Rewriting
Equivalence_Relations
Disjunctive_Normal_Form
Code_Equations
Example