Far Clauses Termination