DECISION TOOL

Given a left-linear right-ground TRS and a formula, the tool decides whether the property expressed by the formula holds for the given TRS.