kites.logic
Classes 
CheckTRS
Codification
Decomposition
ProgramRewrite