Theorems used by Jambox

Matrix Interpretations

Match-bounds and RFC-match-bounds

Dependency Pairs Transformation and Subterm Criterion

Self-Labeling/ Removing Self-Labeling and
Semantic Labeling/ Removing Semantic Labeling

Applicative Transformation

Reducing Right-Hand Sides

Reverse

Strip First/Last Symbol

Loop