Weighted_Path_Order

Status

Precedence

Relations

List_Order

Multiset_Extension_Pair

Multiset_Extension_Pair_Impl

Multiset_Extension2

Multiset_Extension2_Impl

WPO

RPO

LPO

KBO_Transformation

KBO_as_WPO

Executable_Orders