Text this: An Equivalence in LOTOS and Its Decision Method.